https://github.com/sorinica/spike-prover
History
Tip revision: 31f3d646de936859f8e51697d58399625e6f42f2 authored by sorinica on 28 February 2024, 12:41:41 UTC
small changes
Tip revision: 31f3d64
File Mode Size
sources
specs
theories
Makefile -rw-r--r-- 174 bytes
README -rw-r--r-- 2.3 KB
_CoqProject -rw-r--r-- 3.8 KB
config.sh -rwxr-xr-x 1.6 KB

README

back to top