File | Mode | Size |
---|---|---|
TSTP | ||
resultsCutIntro | ||
src | ||
veriT-SMT-LIB | ||
CutIntroToolBox.scala | -rw-r--r-- | 3.0 KB |
README | -rw-r--r-- | 70 bytes |
jenkins_test_diff.py | -rwxr-xr-x | 1.8 KB |
runOnProver9Proofs.scala | -rw-r--r-- | 3.1 KB |
testLeanCoPImport.scala | -rw-r--r-- | 2.7 KB |
testProp.scala | -rw-r--r-- | 2.2 KB |
testProver9Import.scala | -rw-r--r-- | 4.8 KB |
testSymmetry.scala | -rw-r--r-- | 2.9 KB |
testVeriTImport.scala | -rw-r--r-- | 1.8 KB |