agda/agda
+12Agda is a dependently typed programming language / interactive theorem prover.
type-theory
Chủ đề #type-theory trên GitHub — repository trong kho Beeknoee có gắn topic này.
- Repository
- 4
- Tổng sao
- 13.5k
- 24 giờ
- 0%
- 7 ngày
- +0.1%
- 30 ngày
- +0.3%
Repository trong #type-theory
HoTT/Coq-HoTT
+1A Coq library for Homotopy Type Theory
Chủ đề khác
Các chủ đề phổ biến khác trong kho Beeknoee
