HoTT/Coq-HoTT
+1A Coq library for Homotopy Type Theory
univalent-foundations
Chủ đề #univalent-foundations trên GitHub — repository trong kho Beeknoee có gắn topic này.
- Repository
- 1
- Tổng sao
- 1.4k
- 24 giờ
- 0%
- 7 ngày
- +0.1%
- 30 ngày
- +0.1%
Repository trong #univalent-foundations
Chủ đề khác
Các chủ đề phổ biến khác trong kho Beeknoee
