HoTT / Coq-HoTT

git clone https://github.com/HoTT/Coq-HoTT.git

A Coq library for Homotopy Type Theory

stars, 24h · #52,589

+~2

stars, 7 days · #29,421

+~10

stars, 30 days · #32,986

1.4k

★ total · +0% this week

205

forks · 153 open issues

2026-10-20 · 1,405 ★ 2026-10-23 · 1,406 ★

LanguageRocq Prover

License—

Created2011-03-26 (15y ago)

Last push2d ago

OwnerOrganization