2010-12-15 | blanchet | added example to exercise higher-order reasoning with Sledgehammer and Metis | changeset | files |
2010-12-15 | blanchet | added Sledgehammer support for higher-order propositional reasoning | changeset | files |
2010-12-15 | blanchet | add Metis support for higher-order propositional reasoning | changeset | files |
2010-12-15 | blanchet | implemented partially-typed "tags" type encoding | changeset | files |
Loading... |