OAI/Analysis/HardSphere/
4970 declarations, 0 contain sorry, 0 declared as axioms; 466 files
Folders
- Allocation/ 57 files, 490 declarations
- Bridges/ 70 files, 846 declarations
- Capacity/ 2 files, 11 declarations
- Collisions/ 13 files, 57 declarations
- Comparison/ 33 files, 222 declarations
- Conditioning/ 38 files, 346 declarations
- Cutoffs/ 19 files, 259 declarations
- Density/ 5 files, 44 declarations
- FormDomain/ 13 files, 92 declarations
- Fourier/ 3 files, 40 declarations
- Geometry/ 119 files, 1657 declarations
- Kernels/ 10 files, 78 declarations
- Operators/ 12 files, 74 declarations
- Orbitals/ 16 files, 140 declarations
- PathBounds/ 20 files, 177 declarations
- Paths/ 10 files, 271 declarations
- Rescaling/ 2 files, 26 declarations
- Thermodynamics/ 21 files, 101 declarations
Files
- CondensationDefinitions.lean 30 declarations
- Main.lean 1 declarations
- Model.lean 8 declarations