https://github.com/VERIMAG-Polyhedra/VplTactic
Tip revision: f1569f040731f2376fa01c6dfa7ebd482edaadfa authored by Sylvain Boulmé on 09 April 2019, 15:17:50 UTC
update README
update README
Tip revision: f1569f0
File | Mode | Size |
---|---|---|
src | ||
test-suite | ||
theories | ||
.gitignore | -rw-r--r-- | 206 bytes |
LICENSE | -rw-r--r-- | 7.5 KB |
Makefile | -rw-r--r-- | 1.4 KB |
README.md | -rw-r--r-- | 4.2 KB |
_CoqProject | -rw-r--r-- | 256 bytes |