belegcuthalion / coq-sequent-calculus Goto Github PK
View Code? Open in Web Editor NEWThis project forked from dschepler/coq-sequent-calculus
Coq formalizations of Sequent Calculus, Natural Deduction, etc. systems for propositional logic
License: GNU Lesser General Public License v3.0