FormalConjecturesForMathlib/ModelTheory/
32 declarations, 0 contain sorry, 0 declared as axioms; 3 files
Files
- Decidability.lean 9 declarations
- Encoding.lean 8 declarations
- Real.lean 15 declarations
FormalConjecturesForMathlib/ModelTheory/32 declarations, 0 contain sorry, 0 declared as axioms; 3 files