Sign inSign up

HoTT/Coq-HoTT

A Coq library for Homotopy Type Theory

Rocq ProverStars 1361Forks 199Watchers 1361Open issues 139License Other
Details
仓库信息
OwnerHoTT
Homepagehttp://homotopytypetheory.org/
GitHubhttps://github.com/HoTT/Coq-HoTT
Last pushed2025-11-29
Last updated2025-12-15
Issues fetched at—

Stats

Community at a glance

Loading...

Loading

--

Loading

--

Loading

--

Loading

--