Action
Action modules in the audited public canon. Hand-written Lean theorems, sorry-free, with no domain-specific axioms.
| module | thm | lemma | def | lines | papers |
|---|---|---|---|---|---|
Action.EulerLagrange |
6 | 1 | 5 | 211 | - |
Action.FunctionalConvexity |
6 | 1 | 1 | 318 | - |
Action.Hamiltonian |
2 | 0 | 6 | 169 | - |
Action.Noether |
3 | 0 | 7 | 130 | - |
Action.PathSpace |
0 | 12 | 5 | 166 | - |
Action.QuadraticLimit |
5 | 0 | 4 | 139 | - |