Build #88 (Jan 23, 2022, 12:14:00 AM)

1. some updates and clarification on Assumption.export_term; (detail)
2. new theorem has_integral_UN (detail)
3. updated to jdk-17.0.2+8; (detail)
4. used elapsed time instead of cpu time in Mirabelle because the latter contain cpu time of all threads (detail)
5. NEWS (detail)
6. added Mirabelle option "-y" for dry run (detail)
7. tuned garbage optimization (detail)
8. added cpu time (in ms) to Mirabelle run_action output (detail)
9. added Mirabelle option -r to randomize the goals before selection (detail)
10. A new lemma about inverse image (detail)
11. proper treatment of $let variables in symbol table in Sledgehammer (detail)
12. removed unconditional TPTP symbol declaration for undefined_bool in sledgehammer (detail)

1. Removal of a lemma (now in the libraries) and a few tweaks (detail)

Started by timer

This run spent:

• 18 ms waiting;
• 2 hr 24 min build duration;
• 2 hr 24 min total from scheduled to completion.