coq-sequent-calculus
Coq formalizations of Sequent Calculus, Natural Deduction, etc. systems for propositional logic
44 stars
6 watching
3 forks
Language: Coq
last commit: over 8 years ago Coq formalizations of Sequent Calculus, Natural Deduction, etc. systems for propositional logic