`OAI/Combinatorics/EditApproximation/`

7412 declarations, 0 contain sorry, 0 declared as axioms; 1025 files

Folders

Binary/ 242 files, 1658 declarations
Coarse/ 106 files, 589 declarations
Geometry/ 210 files, 1485 declarations
Numerics/ 15 files, 255 declarations
Probability/ 36 files, 243 declarations
Queries/ 163 files, 724 declarations
Refinement/ 236 files, 1132 declarations
Specification/ 13 files, 167 declarations

Files

AlmostLinear.lean 2 declarations
AlmostLinearConditional.lean 2 declarations
BasicResults.lean 193 imports, no declarations
Definitions.lean 1155 declarations