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

avoid long functions in long proof test

4cf748e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 warnings and 1 notice
Project metadata advisory
succeeded Oct 28, 2026 in 37s