Tue, 07 Nov 2017 15:45:33 +0100 | wenzelm | tuned signature; | changeset | files |
Tue, 07 Nov 2017 15:16:42 +0100 | blanchet | more robust parsing for THF proofs (esp. polymorphic Leo-III proofs) | changeset | files |
Tue, 07 Nov 2017 15:16:41 +0100 | blanchet | integrated Leo-III in Sledgehammer (thanks to Alexander Steen for the patch) | changeset | files |