| Name | Date | Size | |
|---|---|---|---|
| .. | 2018-01-08 15:30:14 | 16 | |
| Common.hs | 2018-01-08 15:30:14 | 7.9 KiB | |
| CVC4.hs | 2017-08-22 09:13:52 | 2.3 KiB | |
| Darwin.hs | 2017-08-22 09:13:52 | 2.8 KiB | |
| EProver | 2017-08-22 09:13:52 | 3 | |
| EProver.hs | 2017-08-22 09:13:52 | 3.1 KiB | |
| Geo3.hs | 2017-08-22 09:13:52 | 3.2 KiB | |
| Isabelle.hs | 2017-08-22 09:13:52 | 2.3 KiB | |
| Leo2.hs | 2017-08-22 09:13:52 | 3.1 KiB | |
| ProofParser.hs | 2017-08-22 09:13:52 | 3.7 KiB | |
| ProverState.hs | 2017-08-22 09:13:52 | 4.6 KiB | |
| Satallax.hs | 2017-08-22 09:13:52 | 2.3 KiB | |
| SPASS | 2017-08-22 09:13:52 | 3 | |
| SPASS.hs | 2017-08-22 09:13:52 | 2.9 KiB | |
| Vampire | 2017-08-22 09:13:52 | 3 | |
| Vampire.hs | 2017-08-22 09:13:52 | 2.9 KiB |