OAI/MathematicalPhysics/
329890 declarations, 0 contain sorry, 0 declared as axioms; 6736 files
Folders
- AlternatingFlow/ 41 files, 794 declarations
- Anderson/ 1 files, 82 declarations
- BFSS/ 74 files, 1264 declarations
- Boltzmann/ 530 files, 8366 declarations
- ContinuumCoulomb/ 1783 files, 14546 declarations
- Coulomb/ 1 files, 45 declarations
- CriticalMixing/ 2 files, 14 declarations
- CriticalSK/ 43 files, 1743 declarations
- DefocusingNLS/ 2578 files, 8580 declarations
- Elasticity/ 42 files, 2778 declarations
- Fock/ 2 files, 179 declarations
- HardSphere/ 1 files, 93 declarations
- Heisenberg/ 128 files, 1910 declarations
- NavierStokes/ 843 files, 9036 declarations
- PEPSFilters/ 25 files, 422 declarations
- PEPSMove/ 33 files, 467 declarations
- PEPSSubvolume/ 50 files, 654 declarations
- PlanarAnderson/ 1 files, 80 declarations
- PrefixFlows/ 4 files, 43 declarations
- RapidForcing/ 55 files, 955 declarations
- RecorderFlows/ 5 files, 44 declarations
- SheetFlows/ 26 files, 799 declarations
- TensorNetwork/ 1 files, 40 declarations
- Transonic/ 465 files, 276956 declarations
Files
- Boltzmann.lean 530 imports, no declarations
- Transonic.lean 7 imports, no declarations