#1024 (May 28, 2024, 4:42:41 PM)

1. pretty-printing sledgehammer proof commands: x(1) x(2) -> x(1,2) (detail / hgweb)

Started by an SCM change

This run spent:

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

• Isabelle_Marries_Dirac
• Proof_Strategy_Language
• Frequency_Moments