GitHub - 5eqn/proof-cat: A drag-and-drop proof assistant inspired by Scratch. · GitHub

Repository navigation

proof-cat

Public

About

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

5eqn.github.io/proof-cat/

dependent-types drag-and-drop functional-programming proof-assistant typescript-react visual-programming-language

8 stars

1 watching

Report repository

Name		Name	Last commit message	Last commit date
.github/workflows		.github/workflows
.idea		.idea
public		public
src		src
.gitignore		.gitignore
Makefile		Makefile
README.md		README.md
package-lock.json		package-lock.json
package.json		package.json
tsconfig.json		tsconfig.json

Repository files navigation

ProofCat

A proof assistant inspired by Scratch.

Run

npm install
npm start

About

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

5eqn.github.io/proof-cat/

dependent-types drag-and-drop functional-programming proof-assistant typescript-react visual-programming-language

8 stars

1 watching

Report repository

Releases

Packages

Used by

Contributors

Languages