Skip to content

fix(pv): proof_status Lean scan reads tokens — doc-comment 'sorry' and Theorems.<Domain>.<File> no longer deny credit (#4351) - #4535

Closed
noahgift wants to merge 6 commits into
mainfrom
91/4351-on-main
Closed

fix(pv): proof_status Lean scan reads tokens — doc-comment 'sorry' and Theorems.<Domain>.<File> no longer deny credit (#4351)#4535
noahgift wants to merge 6 commits into
mainfrom
91/4351-on-main

Commits

  1. Commits on Sep 27, 2026

  2. Commits on Sep 28, 2026