Skip to content

Fix proof-length counter including unrelated declarations - #712

Merged
Vilin97 merged 7 commits into
LeanPool:mainfrom
loefflerd:CI-theorem-lines
Nov 6, 2026
Merged

Fix proof-length counter including unrelated declarations#712
Vilin97 merged 7 commits into
LeanPool:mainfrom
loefflerd:CI-theorem-lines

Commits

  1. Commits on Oct 23, 2026

  2. Commits on Oct 28, 2026

  3. Commits on Nov 5, 2026