Removing the use of some deprecated constants.
Showing
- CaseStudies/Convergence/Impossibility_2G_1B.v 1 addition, 1 deletionCaseStudies/Convergence/Impossibility_2G_1B.v
- CaseStudies/Exploration/ImpossibilityKDividesN.v 14 additions, 14 deletionsCaseStudies/Exploration/ImpossibilityKDividesN.v
- Makefile.local 8 additions, 0 deletionsMakefile.local
- Spaces/R2.v 1 addition, 1 deletionSpaces/R2.v
- Spaces/RealMetricSpace.v 1 addition, 1 deletionSpaces/RealMetricSpace.v
- Util/Fin.v 42 additions, 19 deletionsUtil/Fin.v
- Util/NumberComplements.v 21 additions, 17 deletionsUtil/NumberComplements.v
Loading
Please register or sign in to comment