https://gitlab.com/nomadic-labs/mi-cho-coq
History
Tip revision: efefd74c2f9db74a0125fc5a3ad961607bab1ec3 authored by Basile Pesin on 02 July 2019, 10:47:24 UTC
Changed some Qed to Defined
Tip revision: efefd74
File Mode Size
.gitignore -rw-r--r-- 11 bytes
Makefile.local -rw-r--r-- 1.2 KB
_CoqProject -rw-r--r-- 28 bytes
extraction.v -rw-r--r-- 1.3 KB

back to top