GitHub repository: CarstenKoenig/purescript-fitch-prover
Primary language: PureScript
Created: 2019-10-20T12:00:42Z
Description: fun little tool for Fitch-style proofs inspired by a Stanford logic course on Coursera