Skip to content

Fix proof-length counter including unrelated declarations - #712

Open
loefflerd wants to merge 5 commits into
LeanPool:mainfrom
loefflerd:CI-theorem-lines
Open

Fix proof-length counter including unrelated declarations#712
loefflerd wants to merge 5 commits into
LeanPool:mainfrom
loefflerd:CI-theorem-lines

Commits

  1. Commits on Oct 23, 2026

  2. Commits on Oct 28, 2026