/proof-cat

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

Primary LanguageTypeScript

Stargazers