https://github.com/gapt/gapt
History
Tip revision: 35e7152a58ec6427a6122a60684bb1475fd5ee1d authored by Martin Riener on 13 November 2013, 12:45:41 UTC
release state of prooftool 1.5 and cli 1.5
Tip revision: 35e7152
File Mode Size
prover9-TSTP
resultsCutIntro
veriT-SMT-LIB
CutIntroToolBox.scala -rw-r--r-- 3.0 KB
README -rw-r--r-- 70 bytes
testCutIntro.scala -rw-r--r-- 20.1 KB
testProver9Import.scala -rw-r--r-- 4.8 KB

README

back to top