package coq-propcalc
Propositional Calculus
Install
Dune Dependency
Authors
Maintainers
Sources
v8.9.0.tar.gz
md5=026cadcf7d43c7ed9212266633005efd
Description
Formalization of basic theorems about classical propositional logic. The main theorems are (1) the soundness and completeness of natural deduction calculus, (2) the equivalence between natural deduction calculus, Hilbert systems and sequent calculus and (3) cut elimination for sequent calculus.
On This Page