https://github.com/gapt/gapt
History
Tip revision: e78b3faf7303e43fcbf1823f5ae0985ca8d2fa27 authored by Gabriel Ebner on 08 January 2018, 09:08:36 UTC
wip EpsilonToExpansionProof
Tip revision: e78b3fa
File Mode Size
cli
core
doc
examples
project
testing
tests
.codecov.yml -rw-r--r-- 152 bytes
.gitignore -rw-r--r-- 823 bytes
.sbtopts -rw-r--r-- 10 bytes
.travis.yml -rw-r--r-- 498 bytes
COPYING -rw-r--r-- 34.3 KB
README.md -rw-r--r-- 2.7 KB
RELEASE-NOTES.md -rw-r--r-- 3.9 KB
build.sbt -rw-r--r-- 9.9 KB
escargot.sh -rwxr-xr-x 125 bytes
gapt.sh -rwxr-xr-x 428 bytes
include.sh -rw-r--r-- 724 bytes
viper.sh -rwxr-xr-x 119 bytes

README.md

back to top