Skip to content

refactor: golf proofs in HarmonicOscillator, IsExtrema, TotalDerivativeEquivalence, KineticTerm#1373

Draft
Vilin97 wants to merge 47 commits into
leanprover-community:masterfrom
Vilin97:golf-proofs
Draft

refactor: golf proofs in HarmonicOscillator, IsExtrema, TotalDerivativeEquivalence, KineticTerm#1373
Vilin97 wants to merge 47 commits into
leanprover-community:masterfrom
Vilin97:golf-proofs

fix: restore compilation of HarmonicOscillator, PhysHermite, WickCont…

096dc41
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs