Eric cd6a78e548
reduce proof period
Proving is now on a new thread, and generates proofs much faster
2025-06-26 18:33:05 +10:00
..
2025-06-26 18:33:05 +10:00