fjs/edag/analysis

• module.f.mjs
• private.ts
• proof.f.mjs
• types.ts

Idle. Press Run to start the suite.

• ./proof.f.mjs