Name		Name	Last commit message	Last commit date
deploy		deploy
src		src
static		static
test		test
.gitignore		.gitignore
README.md		README.md
fitch.gif		fitch.gif
package-lock.json		package-lock.json
package.json		package.json
packages.dhall		packages.dhall
spago.dhall		spago.dhall

Repository files navigation

purescript-fitch-prover

fun little tool for Fitch-style proofs inspired by a Stanford logic course on Coursera

you can test it here

About

fun little tool for Fitch-style proofs inspired by a Stanford logic course on Coursera

fitch-proofs halogen purescript

4 stars

1 watching

Report repository

Releases

Packages

Used by

Contributors

Languages