← All repos

HoTT/Coq-HoTT

View on GitHub ↗ ★ 1,407 Rocq Prover

A Coq library for Homotopy Type Theory

6 mentions on Hacker News by 5 people: 0 stories, 6 comments · first 2013-12-15 · latest 2024-12-17