-
Notifications
You must be signed in to change notification settings - Fork 201
Home
Jason Gross edited this page Nov 28, 2013
·
33 revisions
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.
An index for the HoTT library based on the HoTT book (in order of appearance in the book), autogenerated by coqdoc.
An interactive index for the HoTT library based on the HoTT book, autogenerated by proviola.
Information for contributing to the library.