Home

Welcome to the wiki for the HoTT/HoTT library!

Information for anyone using the library.

A reference manual autogenerated by coqdoc.

An interactive reference manual autogenerated by proviola; hovering over a line of code will display the feedback given by Coq at that point in the code.

Information for contributing to the library.