andrejbauer / marshallLinks
Real number computation software
☆125Updated 2 years ago
Alternatives and similar repositories for marshall
Users that are interested in marshall are comparing it to the libraries listed below
Sorting:
- HoTT in Lean 3☆80Updated 4 years ago
- Macro Lambda Calculus