https://github.com/gapt/gapt
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
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 |