#1003 (Mar 22, 2024, 9:27:11 AM)

1. redefined wfP as an abbreviation for "wfp_on UNIV" (detail / hgweb)

Started by an SCM change

This run spent:

• 9.7 sec waiting;
• 1 hr 4 min build duration;
• 1 hr 5 min total from scheduled to completion.

• MiniSail
• Goedel_HFSet_Semanticless
• Simple_Clause_Learning
• Incompleteness
• Lambert_Series
• Median_Of_Medians_Selection
• Polylog
• CakeML
• Root_Balanced_Tree
• Robinson_Arithmetic
• Frequency_Moments
• Clean
• Launchbury
• DiscretePricing
• Automatic_Refinement
• Expander_Graphs
• Amortized_Complexity
• Nominal2
• KD_Tree
• Goedel_HFSet_Semantic