#2081 (Dec 22, 2023, 2:43:49 AM)

1. clarified zproof storage: per-theory table in anticipation of session exports; (detail / hgweb)
2. proper thm_name for stored zproof; (detail / hgweb)
3. uniform treatment of lazy facts: actual proof terms are always strict; (detail / hgweb)
4. tuned; (detail / hgweb)
5. tuned whitespace; (detail / hgweb)
6. tuned; (detail / hgweb)

Started by an SCM change

This run spent:

• 1 hr 53 min waiting;
• 2 hr 4 min build duration;
• 3 hr 58 min total from scheduled to completion.