Repository

https://github.com/jonaprieto/mini-hott.git

Project Slug

mini-hott

Last Built

3 months ago passed

Maintainers

Badge

Tags

documentation, type-theory, apkg, homotopy-type-theory, agda-library

Short URLs

mini-hott.readthedocs.io
mini-hott.rtfd.io

Default Version

latest

'latest' Version

master