UniMath
+1This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
coq-library
Chủ đề #coq-library trên GitHub — repository trong kho Beeknoee có gắn topic này.
- Repository
- 1
- Tổng sao
- 1k
- 24 giờ
- 0%
- 7 ngày
- +0.1%
- 30 ngày
- +0.4%
Repository trong #coq-library
Chủ đề khác
Các chủ đề phổ biến khác trong kho Beeknoee
