Proof Node Pruning on PhysLib
337Review ConeLean Compass
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
| Lean CompassMain Theorem=lorentzAlgebra.exp_mem_restricted_lorentzGroup2026.03 | 337 | 11 | 96 | |
| Lean CompassMain Theorem=FieldSpecification.wicks_theorem2026.03 | 196 | 94 | 52 | |
| Lean CompassMain Theorem=ClassicalMechanics.euler_lagrange_varGradient2026.03 | 150 | 27 | 82 | |
| Lean CompassMain Theorem=QM.OneDimension.HarmonicOscillator.eigenfunction_completeness2026.03 | 59 | 12 | 79 | |
| Lean CompassMain Theorem=CanonicalEnsemble.fluctuation_dissipation_theorem_finite2026.03 | 29 | 18 | 37 |