We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Welcome to the wiki for the HoTT/HoTT library!
Information for anyone using the library.
A reference manual autogenerated by coqdoc.
Information for contributing to the library.