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

Commits

This pull request is big! We're only showing the most recent 250 commits

Commits on Jul 1, 2026

Commits on Jul 2, 2026