#2092 (Jan 5, 2024, 12:50:08 AM)

1. tuned; (detail / hgweb)
2. clarified datatype ztyp: omit special case that rarely occurs (thanks to ZClass and ZClassp); (detail / hgweb)
3. clarified box_proof: use sort constraints within the logic; (detail / hgweb)
4. more operations (see also 8368160d3c65); (detail / hgweb)

Started by an SCM change

This run spent:

• 6.8 sec waiting;
• 2 hr 2 min build duration;
• 2 hr 2 min total from scheduled to completion.