Coq-HoTT

A Coq library for Homotopy Type Theory

1k stars

61 watching

190 forks

Language: Coq

last commit: 12 days ago

Linked from 3 awesome lists

homotopy-type-theorytype-theoryunivalent-foundations

Screenshot of HoTT/Coq-HoTT website

http://homotopytypetheory.org/

Backlinks from these awesome lists: