OAI/Combinatorics/EditApproximation/Numerics/
255 declarations, 0 contain sorry, 0 declared as axioms; 15 files
Files
- GradientStorageBits.lean 8 declarations
- NumericalWork.lean 25 declarations
- Numerics.lean 65 declarations
- OptimizerBitEnvelope.lean 46 declarations
- OptimizerBits.lean 3 declarations
- OptimizerWorkspace.lean 7 declarations
- RationalIntermediateBits.lean 10 declarations
- RationalPrefix.lean 3 declarations
- RationalPruning.lean 10 declarations
- RationalRefinement.lean 8 declarations
- RationalWideSpatial.lean 7 declarations
- RationalWideStep.lean 7 declarations
- ScalarAllocation.lean 9 declarations
- ScalarControlSpace.lean 14 declarations
- VectorOptimizerWork.lean 33 declarations