GitHub repository: olligobber/ProofCheck
Primary language: PureScript
Created: 2018-06-10T04:27:52Z
Description: Proof Checker for a system of Propositional Logic