Skip to content
Voevodsky's work on C-systems, transferred from his github account
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
.gitignore
Makefile
for_coq_makefile
lC0systems.v
lCsystems.v
You can’t perform that action at this time.