GitHub repository: 5eqn/proof-cat
Primary language: TypeScript
Description: A drag-and-drop proof assistant inspired by Scratch.