Skip to content

refactor: golf wrapper proofs#1332

Closed
Vilin97 wants to merge 499 commits into
leanprover-community:masterfrom
Vilin97:codex/golf-proofs-next
Closed

refactor: golf wrapper proofs#1332
Vilin97 wants to merge 499 commits into
leanprover-community:masterfrom
Vilin97:codex/golf-proofs-next

fix: repair over-golfed proofs so CI builds green

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

Annotations

1 warning
Python based linters
succeeded Jul 2, 2026 in 16s