| Sun, 02 Nov 2025 20:01:43 +0100 | haftmann | more efficient naive prime test | file | diff | annotate |
| Sun, 02 Nov 2025 19:47:30 +0100 | haftmann | more efficient sqrt computation | file | diff | annotate |
| Sun, 02 Nov 2025 19:47:30 +0100 | haftmann | avoid computation checks when using theories as regular libraries | file | diff | annotate |