Fri, 17 Dec 2021 09:57:22 +0100 desharna added nearly_all_facts_of_context and uniformized its usage in Sledgehammer and Mirabelle
Fri, 17 Dec 2021 09:52:42 +0100 desharna tuned ATP to use is_widely_irrelevant_const
Fri, 17 Dec 2021 09:51:37 +0100 desharna added support for initialization messages to Mirabelle
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 tip