Navigation
Projects
Signed in as: AnonymousUser
Settings
Log out
Help
Support
Docs
Getting started
Status
Sign up
Log in
mini-hott
EN
agda-library
apkg
documentation
homotopy-type-theory
type-theory
Maintainers
Repository
https://github.com/jonaprieto/mini-hott.git
Versions
2
Builds
9
View docs
Version
All versions
stable
latest
Privacy
Any
Public versions
Private versions
Visibility
Any
Hidden versions
Visible versions
Sort by
Recently built
Least recently built
Frequently built
Least frequently built
Name
Name (descending)
stable
Last built 6 years ago
mini-hott
#11257164
mini-hott #11257164
6 years ago
47224d80
51 seconds