File | Mode | Size |
---|---|---|
benchmark | ||
issues | ||
paper | ||
public | ||
src | ||
test-suite | ||
theories | ||
CoqMakefile.local | -rw-r--r-- | 29 bytes |
LICENSE | -rw-r--r-- | 34.3 KB |
Makefile | -rw-r--r-- | 2.8 KB |
README.md | -rw-r--r-- | 4.9 KB |
_CoqProject | -rw-r--r-- | 136 bytes |
_CoqProject_ml | -rw-r--r-- | 191 bytes |
opam | -rw-r--r-- | 662 bytes |