CondensedMatter
CondensedMatter modules in the audited public canon. Hand-written Lean theorems, sorry-free, with no domain-specific axioms.
| module | thm | lemma | def | lines | papers |
|---|---|---|---|---|---|
CondensedMatter.GlassTransitionStructure |
2 | 0 | 1 | 22 | — |
CondensedMatter.HighTcSuperconductivityStructure |
3 | 0 | 1 | 26 | — |
CondensedMatter.JCostPhaseTransition |
6 | 0 | 4 | 72 | — |
CondensedMatter.RoomTemperatureSuperconductivityStructure |
3 | 0 | 1 | 27 | — |
CondensedMatter.SpinGlassFreezingRatio |
6 | 0 | 3 | 138 | — |
CondensedMatter.StronglyCorrelatedElectronsStructure |
2 | 0 | 1 | 23 | — |
CondensedMatter.TopologicalPhasesStructure |
2 | 0 | 1 | 23 | — |