Skip to content

refactor: golf Physlib proofs — proof-body only, no new declarations (~−4,390 lines, 109 files)#1263

Merged
jstoobysmith merged 129 commits into
leanprover-community:masterfrom
Vilin97:claude/golf-proofs
Jun 29, 2026
Merged

refactor: golf Physlib proofs — proof-body only, no new declarations (~−4,390 lines, 109 files)#1263
jstoobysmith merged 129 commits into
leanprover-community:masterfrom
Vilin97:claude/golf-proofs

Commits

Commits on Jun 25, 2026

Commits on Jun 26, 2026

Commits on Jun 28, 2026

Commits on Jun 29, 2026