We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Updated Home (markdown)
Fix links: HoTT -> Coq-HoTT and html HoTTBook pages have prefix HoTT.Contrib
quickfix
reorganise Home.md and update links
http -> https
Link to upcoming Alectryon documentation
Adding JsCoq
link to script
Fix a broken link
Replace old pages with link to STYLE
Add links to toc
Mention the book exercises
Mention timing display
Mention theorem dependency graph files
Add dependency graphs
Mention the html for HoTTBook; this closes #270.
Mention proviola documentation
Update link to coqdoc
Switch to media-wiki syntax for links; hopefully this will be more robust
Fix some links