/coq-sequent-calculus

Coq formalizations of Sequent Calculus, Natural Deduction, etc. systems for propositional logic

Primary LanguageCoqGNU Lesser General Public License v3.0LGPL-3.0

No issues in this repository yet.