https://github.com/sorinica/spike-prover
Tip revision: 31f3d646de936859f8e51697d58399625e6f42f2 authored by sorinica on 28 February 2024, 12:41:41 UTC
small changes
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 |