OAI/Geometry/BallPacking/Energy/
98 declarations, 0 contain sorry, 0 declared as axioms; 2 files
Files
- CircularEnergy.lean 54 declarations
- ResidualEnergy.lean 44 declarations
OAI/Geometry/BallPacking/Energy/98 declarations, 0 contain sorry, 0 declared as axioms; 2 files