#1007 (Mar 24, 2024, 9:45:07 AM)

1. redefined wf as an abbreviation for "wf_on UNIV" (detail / hgweb)

Started by an SCM change

This run spent:

• 5.4 sec waiting;
• 15 min build duration;
• 15 min total from scheduled to completion.

• FO_Theory_Rewriting
• Collections
• Complex_Bounded_Operators
• Regular_Tree_Relations
• FSM_Tests
• Modular_arithmetic_LLL_and_HNF_algorithms
• Jordan_Normal_Form
• Groebner_Bases
• AI_Planning_Languages_Semantics
• Containers
• MDP-Algorithms