#2118 (Feb 6, 2024, 12:50:08 AM)

1. merged; (detail / hgweb)
2. update to windows_app-20240205, with executables for linux, linux_arm, macos; (detail / hgweb)
3. omit redundant options; (detail / hgweb)
4. tuned README; (detail / hgweb)
5. uniform build of binutils for linux, linux_arm, macos; (detail / hgweb)
6. fix reconstruction of Alethe's and_pos rule (detail / hgweb)
7. added lemmas Multiset.transp_on_multp and Multiset.trans_on_mult (detail / hgweb)

Started by an SCM change

This run spent:

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