UniMath / UniMath
This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
- Repository stars
- 1,022All-time #39,815
- Fork
- 187
- Last push
- updated 1 days ago
- Repository created
- since 2014
About
This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.Summarised by AI from the README; the original prevails
Author description: This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
Basic listing based on official public information; functionality has not been independently evaluated.
Check before adopting
- No license declared: commercial use and redistribution terms are unknown.
- Pricing
- Pricing not verifiedCheck current official software, hosting, model and infrastructure pricing.