Prove your business logic in Lean 4 and ship it as an ordinary npm package: a verified compiler that writes ESM, a .d.ts and a proof manifest
Lean Updated 28 days ago 1 commits
surge-bot|Mirror: FujiHaruka/lean2js (⭐0)
28 days agoAbout
Prove your business logic in Lean 4 and ship it as an ordinary npm package: a verified compiler that writes ESM, a .d.ts and a proof manifest
Readme