OAI/Probability/Honeycomb/
265 declarations, 0 contain sorry, 0 declared as axioms; 2 files
Files
- FreeEnergy.lean 115 declarations
- TriangleVisits.lean 150 declarations
OAI/Probability/Honeycomb/265 declarations, 0 contain sorry, 0 declared as axioms; 2 files