https://github.com/AU-COBRA/ConCert
History
Tip revision: 93a7088382bfa623337aa219ba555323e8f4d131 authored by Danil Annenkov on 03 May 2022, 08:57:42 UTC
Tweak doc style
Tip revision: 93a7088
File Mode Size
embedding
execution
extra
extraction
utils
.editorconfig -rw-r--r-- 230 bytes
.gitignore -rw-r--r-- 1.6 KB
Makefile -rw-r--r-- 2.0 KB
README.md -rw-r--r-- 2.7 KB
check_coqproject.sh -rwxr-xr-x 520 bytes
coq-concert.opam -rw-r--r-- 1.3 KB

README.md

back to top