HoTT/Coq-HoTT
PublicA Coq library for Homotopy Type Theory
- Stars1.4k+1 tuần này
- Forks205
- Watchers60
- Issues114
- Ngày tạo26/03/2011
- Cập nhật gần nhất28/10/2026
- Ngôn ngữRocq Prover
- Giấy phép—
Repo này không có README
Chủ repo chưa viết README, hoặc file chưa được đồng bộ về Bee. Xem trực tiếp trên GitHub.
Mở trên GitHub