https://github.com/gapt/gapt
History
Tip revision: a3e752685904db84616b26c19ba413c3262e14cc authored by Matthias Schlaipfer on 09 December 2019, 09:42:05 UTC
Changes to LKToND avoiding intro of some Exists-EM
Tip revision: a3e7526
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.9 KB
RELEASE-NOTES.md -rw-r--r-- 5.2 KB
build.sbt -rw-r--r-- 10.2 KB
escargot.sh -rwxr-xr-x 116 bytes
gapt.sh -rwxr-xr-x 447 bytes
include.sh -rw-r--r-- 725 bytes
slakje.sh -rwxr-xr-x 112 bytes
viper.sh -rwxr-xr-x 110 bytes

README.md

back to top