Page Index - HoTT/Coq-HoTT GitHub Wiki

15 page(s) in this GitHub Wiki:

• Home
• Documentation
• Reference manual
• A reference manual autogenerated by coqdoc.
• An interactive reference manual autogenerated by Alectryon.
• An interactive view of the timing information for each line in each file.
• The HoTT Book
• Dependency graphs
• Hyperlinked dependency graph of the core library (click to enlarge):
• Hyperlinked dependency graph of the entire library (click to enlarge):
• JsHoTT - Run the HoTT library in Javascript!
• Coq-bench
• How to update coq version for library
• Publications based on the HoTT library
• Windows install instructions