Skip to content

refactor: golf proofs (stacked on #1332)#1364

Draft
Vilin97 wants to merge 521 commits into
leanprover-community:masterfrom
Vilin97:claude/golf-proofs-more
Draft

refactor: golf proofs (stacked on #1332)#1364
Vilin97 wants to merge 521 commits into
leanprover-community:masterfrom
Vilin97:claude/golf-proofs-more

refactor: golf harmonic-oscillator, Wirtinger, tensor, Higgs, canonic…

7fe99cd
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Lean based style linters
succeeded Jul 4, 2026 in 4m 39s