#2004 (Aug 26, 2023, 12:50:07 AM)

1. avoid using FOOL syntax with older Vampire versions because of soundness bug visible by passing 'Abs_unit_cases Rep_unit Rep_unit_cases' as the facts to Sledgehammer (detail / hgweb)
2. merged (detail / hgweb)
3. some refinements in Algebra and Number_Theory (detail / hgweb)
4. provide Go component (detail / hgweb)

Started by an SCM change

This run spent:

• 5.9 sec waiting;
• 2 hr 3 min build duration;
• 2 hr 3 min total from scheduled to completion.