Idle. Press Run to start the suite.

• ./invariant/proof.f.mjs
• ./plain/proof.f.mjs
• ./proof.f.mjs
• ./terminal/proof.f.mjs