GitHub repository: palmskog/fitch
Primary language: Coq
Created: 2016-03-29T21:44:50Z
Description: Certified proof checker for Fitch-style propositional logic proofs