#2187 (Apr 25, 2024, 12:50:08 AM)

1. More tidying of proofs (detail / hgweb)
2. Another Nominal example (detail / hgweb)
3. merged (detail / hgweb)
4. Tidying up another Nominal example (SOS) (detail / hgweb)

Started by an SCM change

This run spent:

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