| Mon, 20 Dec 2021 08:14:41 +0100 | desharna | proper documentation for induction_rules Sledgehammer option | changeset | files |
| Sun, 19 Dec 2021 11:50:54 +0100 | desharna | NEWS | changeset | files |
| Sun, 19 Dec 2021 11:15:21 +0100 | desharna | merged | changeset | files |
| Sat, 18 Dec 2021 23:17:08 +0100 | desharna | used TH1 for Leo-III in sledgehammer | changeset | files |
| Sat, 18 Dec 2021 23:11:49 +0100 | desharna | tuned run_sledgehammer and called it directly from Mirabelle | changeset | files |
| Sat, 18 Dec 2021 14:30:13 +0100 | desharna | exported Sledgehammer.launch_prover and use it in Mirabelle | changeset | files |
| Sat, 18 Dec 2021 13:27:42 +0100 | desharna | proper filtering inf induction rules in Mirabelle | changeset | files |
| 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 |
| Fri, 17 Dec 2021 16:36:42 +0100 | blanchet | tuned comment | changeset | files |
| Wed, 15 Dec 2021 23:18:41 +0100 | wenzelm | support for JSON:API; | changeset | files |
| Wed, 15 Dec 2021 19:41:30 +0100 | wenzelm | support for Flarum server; | changeset | files |
| Wed, 15 Dec 2021 19:39:02 +0100 | wenzelm | tuned whitespace; | changeset | files |
| Wed, 15 Dec 2021 19:30:57 +0100 | wenzelm | tuned imports; | changeset | files |
| Wed, 15 Dec 2021 15:26:31 +0100 | wenzelm | tuned comments; | changeset | files |
| Wed, 15 Dec 2021 13:07:49 +0100 | wenzelm | clarified author names; | changeset | files |
| Wed, 15 Dec 2021 12:41:33 +0100 | wenzelm | clarified author names; | changeset | files |
| Tue, 14 Dec 2021 21:13:07 +0100 | wenzelm | merged | changeset | files |
| Tue, 14 Dec 2021 21:12:33 +0100 | wenzelm | more accurate names; | changeset | files |
| Tue, 14 Dec 2021 20:50:35 +0100 | wenzelm | more standard author_info; | changeset | files |
| Tue, 14 Dec 2021 19:23:21 +0100 | wenzelm | clarified author info and cluster nodes; | changeset | files |
| Tue, 14 Dec 2021 17:22:40 +0100 | wenzelm | more data integrity: name vs. address; | changeset | files |
| Tue, 14 Dec 2021 10:19:48 +0100 | wenzelm | clarified signature: more operations; | changeset | files |
| Tue, 14 Dec 2021 10:07:10 +0100 | wenzelm | clarified signature; | changeset | files |
| Tue, 14 Dec 2021 09:53:54 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 14 Dec 2021 09:46:29 +0100 | wenzelm | more data integrity: name vs. address; | changeset | files |
| Tue, 14 Dec 2021 08:59:49 +0100 | wenzelm | tuned comments; | changeset | files |
| Tue, 14 Dec 2021 09:05:41 +0100 | desharna | merged | changeset | files |
| Mon, 13 Dec 2021 22:53:02 +0100 | desharna | tuned ATP to use fold_index | changeset | files |