ProofFinder is a Next.js app for generating C0 contracts in two modes:
- Full Proof mode: supports richer proof constructs
- 15-122 mode: restricts built-in constructs to
\length
npm install
npm run devdidikana/ProofFinder
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|