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
examples
standards
tests
theories
Makefile -rw-r--r-- 561 bytes
README.md -rw-r--r-- 11.4 KB
_CoqProject -rw-r--r-- 2.0 KB
make_graph.sh -rwxr-xr-x 283 bytes

README.md

back to top