Repository

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

Project Slug

mini-hott

Last Built

2 years, 5 months ago failed

Maintainers

Badge

Tags

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

Short URLs

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

Default Version

latest

'latest' Version

master