Giters

dschepler / coq-sequent-calculus

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

coq-sequent-calculus

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

About

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

License:GNU Lesser General Public License v3.0

Languages

Language:Coq 100.0%