| Tue, 08 Apr 2025 17:36:07 +0200 | desharna | removed iprover from try0 because its name is clashing with iProver in Sledgehammer | changeset | files |
| Mon, 07 Apr 2025 12:36:56 +0200 | desharna | expanded Sledgehammer's schedule (loosely inspired by "Hammering without ATPs" evaluation) | changeset | files |
| Mon, 07 Apr 2025 09:13:10 +0200 | desharna | added try0's schedule to sledgehammer's schedule | changeset | files |
| Mon, 07 Apr 2025 08:39:10 +0200 | desharna | clarified signature | changeset | files |
| Sun, 06 Apr 2025 18:12:53 +0200 | haftmann | clarified variable names | changeset | files |
| Sun, 06 Apr 2025 18:12:52 +0200 | haftmann | tuned | changeset | files |
| Sun, 06 Apr 2025 14:21:18 +0200 | haftmann | use existing implementations of bit operations if nat is implemented by target-language integer | changeset | files |