/proof-cat

A drag-and-drop proof assistant inspired by Scratch.

Primary LanguageTypeScript

ProofCat

Coverage Status

A proof assistant inspired by Scratch.

Run

npm install
npm start