Idle. Press Run to start the suite.

• ./abs/proof.f.mjs
• ./ceil/proof.f.mjs
• ./is_negative_zero/proof.f.mjs
• ./max/proof.f.mjs
• ./min/proof.f.mjs
• ./proof.f.mjs