purescript-fitch-prover fun little tool for Fitch-style proofs inspired by a Stanford logic course on Coursera you can test it here
