| 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 |
