#1830 (Dec 8, 2022, 12:50:07 AM)

1. tuned; (detail / hgweb)
2. merged (detail / hgweb)
3. clarified signature: just one level of arguments to avoid type-inference problems; (detail / hgweb)
4. tuned signature: more operations; (detail / hgweb)
5. tuned; (detail / hgweb)
6. clarified signature; (detail / hgweb)
7. stated goals of some lemmas explicitely to prevent silent changes (detail / hgweb)
8. rewrite proofs using to_pred attribute on existing lemmas (detail / hgweb)

Started by an SCM change

This run spent:

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