#1000 (Mar 20, 2024, 2:32:48 PM)

1. try proof method "order" in Sledgehammer's proof reconstruction (detail / hgweb)
2. added Mirabelle action "order" (detail / hgweb)
3. renamed lemma antisymp_on_reflcp to antisymp_on_reflclp (detail / hgweb)
4. tuned proof (detail / hgweb)

Started by an SCM change (4 times)

This run spent:

• 3 hr 20 min waiting;
• 5 hr 6 min build duration;
• 8 hr 26 min total from scheduled to completion.