#2013 (Sep 16, 2023, 2:33:20 AM)

1. A few more inclusion-exclusion theorems from HOL Light (detail / hgweb)

Started by an SCM change

This run spent:

• 1 hr 43 min waiting;
• 2 hr 3 min build duration;
• 3 hr 47 min total from scheduled to completion.