Engineering
Engineering modules in the audited public canon. Hand-written Lean theorems, sorry-free, with no domain-specific axioms.
| module | thm | lemma | def | lines | papers |
|---|---|---|---|---|---|
Engineering.AsteroidOreSpectroscopy |
10 | 0 | 6 | 135 | — |
Engineering.AsteroidTrajectoryShaping |
8 | 0 | 4 | 120 | — |
Engineering.CoherenceProtectedQKDLinkBudget |
8 | 0 | 4 | 114 | — |
Engineering.CorticalNeuromodulationDevice |
9 | 0 | 4 | 119 | — |
Engineering.EnergyStorageDensityStructure |
15 | 0 | 10 | 234 | — |
Engineering.FissionTransmutationStructure |
16 | 0 | 4 | 264 | — |
Engineering.IdentityTickBioremediationPilot |
9 | 0 | 3 | 115 | — |
Engineering.IdentityTickRefrigeratorSpec |
7 | 0 | 3 | 100 | — |
Engineering.MarsAtmosphereJCostSchedule |
9 | 0 | 4 | 129 | — |
Engineering.PhantomCoupledGWAntennaSensitivity |
6 | 0 | 4 | 106 | — |
Engineering.RoomTempSuperconductivityStructure |
16 | 0 | 7 | 238 | — |
Engineering.StructuralSafetyFromJCost |
1 | 0 | 1 | 43 | — |
Engineering.TeslaTurbineStructure |
2 | 0 | 1 | 23 | — |
Engineering.ZMatchedTransceiverMesh |
10 | 0 | 5 | 124 | — |