Coq-HoTT

A Coq library for Homotopy Type Theory

GitHub
1k stars
61 watching
191 forks
Language: Coq
last commit: 6 days ago
Linked from 3 awesome lists

homotopy-type-theorytype-theoryunivalent-foundations

Screenshot of HoTT/Coq-HoTT website

homotopytypetheory.org/

Backlinks from these awesome lists: