GitHub - UniMath/lCsystems: Voevodsky's work on C-systems, transferred from his github account

UniMath / lCsystems Public

Voevodsky's work on C-systems, transferred from his github account

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 24 Commits
.gitignore		.gitignore
Makefile		Makefile
for_coq_makefile		for_coq_makefile
lC0systems.v		lC0systems.v
lCsystems.v		lCsystems.v

About

Voevodsky's work on C-systems, transferred from his github account

No releases published

No packages published