https://github.com/AU-COBRA/ConCert
History
Tip revision: 3382e48f12d66f18c49ca20d9094d5864c4bb8a9 authored by 4ever2 on 24 May 2022, 20:50:09 UTC
Dexter1 tests (#171)
Tip revision: 3382e48
File Mode Size
test
theories
Makefile -rw-r--r-- 561 bytes
README.md -rw-r--r-- 12.2 KB
_CoqProject -rw-r--r-- 547 bytes
make_graph.sh -rwxr-xr-x 283 bytes

README.md

back to top