Thu, 05 Nov 2020 18:14:02 +0100 | desharna | Added support for TFX to Sledgehammer | file | diff | annotate |
Tue, 17 Dec 2013 14:03:29 +0100 | blanchet | primitive support for SPASS-Pirate (Daniel Wand's polymorphic SPASS prototype) | file | diff | annotate |
Tue, 30 Aug 2011 16:07:46 +0200 | blanchet | cleaner "pff" dummy TFF0 prover | file | diff | annotate |