`OAI/Geometry/RecorderBoxes/`

101 declarations, 0 contain sorry, 0 declared as axioms; 9 files

Files

Affine.lean 8 declarations
Bounds.lean 20 declarations
Boxes.lean 17 declarations
Branches.lean 8 declarations
Encoding.lean 7 declarations
InitialCode.lean 5 declarations
Placement.lean 18 declarations
Rational.lean 14 declarations
Stages.lean 4 declarations