Home

Jump to bottom Edit New page

Jason Gross edited this page Aug 15, 2013 · 33 revisions

Welcome to the wiki for the HoTT/HoTT library!

Information for anyone [using the library](/HoTT/HoTT/wiki/Using the HoTT library).

A reference manual autogenerated by coqdoc.

Information for [contributing to the library](/HoTT/HoTT/wiki/Contributing to the HoTT library).