Skip to content

feat(cli): implement standalone ProofCode CLI executable with staged, live, and markdown modes - #30

Merged
waleedcodes merged 3 commits into
workingfrom
pr-30-src-cli
Oct 9, 2026
Merged

waleedcodes merged 3 commits into
workingfrom
pr-30-src-cli

Commits

  1. Commits on Oct 9, 2026