Skip to content

Home

Jump to bottom Edit New page
Jason Gross edited this page Feb 19, 2014 · 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.

Hyperlinked dependency graph of the core library, created using GraphViz, borrowing a script from MathClasses (click to enlarge):

HoTT Core Library Dependency Graph

Hyperlinked dependency graph of the entire library (click to enlarge):

HoTT Library Dependency Graph

Add a custom footer
Add a custom sidebar
Clone this wiki locally