Fri, 17 Dec 2021 09:57:22 +0100 | desharna | added nearly_all_facts_of_context and uniformized its usage in Sledgehammer and Mirabelle | changeset | files |
Fri, 17 Dec 2021 09:52:42 +0100 | desharna | tuned ATP to use is_widely_irrelevant_const | changeset | files |
Fri, 17 Dec 2021 09:51:37 +0100 | desharna | added support for initialization messages to Mirabelle | changeset | files |