GitHub - cathlelay/UniMath: This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

Name		Name	Last commit message	Last commit date
Latest commit History 4,908 Commits
UniMath		UniMath
build		build
emacs/agda		emacs/agda
latex		latex
sub		sub
util		util
.gitignore		.gitignore
.gitmodules		.gitmodules
.travis.yml		.travis.yml
CONTENTS.md		CONTENTS.md
INSTALL.md		INSTALL.md
LICENSE.md		LICENSE.md
Makefile		Makefile
README.md		README.md