Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
.gitignore		.gitignore
Makefile		Makefile
README.md		README.md
dune		dune
package.json		package.json

Repository files navigation

addons-hott

About

Homotopy Type Theory for jsCoq

Custom properties

Report repository

Releases

No releases published

Packages

Contributors

Languages

Makefile 100.0%