https://gitlab.com/nomadic-labs/mi-cho-coq
History
Tip revision: 9fa0d6f5ee4444b7890b9b71545d194f9f73bbe1 authored by Julien Tesson on 14 March 2019, 16:03:27 UTC
OTT now compiles
Tip revision: 9fa0d6f
File Mode Size
doc
src
.gitignore -rw-r--r-- 252 bytes
LICENSE -rw-r--r-- 34.2 KB
Makefile.local -rw-r--r-- 140 bytes
README.md -rw-r--r-- 101 bytes
README.org -rw-r--r-- 8.0 KB
_CoqProject -rw-r--r-- 4 bytes
configure -rwxr-xr-x 302 bytes

README.md

back to top