raphlinus / ghilbertLinks
Automatically exported from code.google.com/p/ghilbert
☆48Updated 7 years ago
Alternatives and similar repositories for ghilbert
Users that are interested in ghilbert are comparing it to the libraries listed below
Sorting:
- Real number computation software☆125Updated 2 years ago
- HoTT in Lean 3