GitHub repository: sciencesakura/gentzen-seqcalc
Primary language: TypeScript
Created: 2019-09-09T15:31:25Z
Description: A propositional logic prover