https://github.com/VERIMAG-Polyhedra/VplTactic
History
Tip revision: f1569f040731f2376fa01c6dfa7ebd482edaadfa authored by Sylvain Boulmé on 09 April 2019, 15:17:50 UTC
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

README.md

back to top