Experimental
Experimental modules in the audited public canon. Hand-written Lean theorems, sorry-free, with no domain-specific axioms.
| module | thm | lemma | def | lines | papers |
|---|---|---|---|---|---|
Experimental.ANITAUpgoing |
9 | 0 | 8 | 169 | — |
Experimental.ANITAUpgoingStructure |
2 | 0 | 1 | 22 | — |
Experimental.AtomkiX17Structure |
2 | 0 | 1 | 22 | — |
Experimental.BMesonAnomaliesStructure |
2 | 0 | 1 | 22 | — |
Experimental.DAMAModulation |
13 | 0 | 8 | 193 | — |
Experimental.DAMAModulationStructure |
2 | 0 | 1 | 22 | — |
Experimental.FlybyAnomaly |
10 | 0 | 10 | 125 | — |
Experimental.FlybyAnomalyStructure |
2 | 0 | 1 | 22 | — |
Experimental.GalliumAnomaly |
10 | 0 | 7 | 189 | — |
Experimental.GalliumAnomalyStructure |
2 | 0 | 1 | 21 | — |
Experimental.MiniBooNELSNDStructure |
2 | 0 | 1 | 22 | — |
Experimental.MuonGMinusTwo |
7 | 0 | 8 | 115 | — |
Experimental.MuonGMinusTwoStructure |
2 | 0 | 1 | 21 | — |
Experimental.NeutronLifetimeDiscrepancyStructure |
3 | 0 | 1 | 27 | — |
Experimental.UltraDiffuseGalaxies |
14 | 0 | 11 | 228 | — |
Experimental.Xenon1TExcess |
13 | 0 | 11 | 208 | — |
Experimental.XenonExcessStructure |
2 | 0 | 1 | 22 | — |