https://github.com/AU-COBRA/ConCert
Tip revision: 93a7088382bfa623337aa219ba555323e8f4d131 authored by Danil Annenkov on 03 May 2022, 08:57:42 UTC
Tweak doc style
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 |