GitHub / HoTT / Coq-HoTT
A Coq library for Homotopy Type Theory
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/HoTT%2FCoq-HoTT
PURL: pkg:github/HoTT/Coq-HoTT
Stars: 1,334
Forks: 198
Open issues: 137
License: other
Language: Rocq Prover
Size: 25.2 MB
Dependencies parsed at: Pending
Created at: over 14 years ago
Updated at: 22 days ago
Pushed at: 22 days ago
Last synced at: 22 days ago
Topics: homotopy-type-theory, type-theory, univalent-foundations
Loading...