package coq-stalmarck
Correctness proof of Stålmarck's algorithm in Coq
Install
Dune Dependency
Authors
Maintainers
Sources
v8.14.0.tar.gz
sha512=5080457e36384932e4f94bda7c68d816388a6ce282262c44b92cf00c482c43d06fe3df842121aa62d734f6b82af9687743bbb59a0b77571c4573bd75799ee2b8
Description
A two-level approach to prove tautologies using Stålmarck's algorithm in Coq.
Tags
category:Computer Science/Decision Procedures and Certified Algorithms/Decision procedures keyword:boolean formula keyword:tautology checker logpath:Stalmarck.Algorithm date:2021-10-30Published: 30 Oct 2021
Dependencies (1)
-
coq
>= "8.14" & < "8.15~"
Dev Dependencies
None
Used by (1)
-
coq-stalmarck-tactic
= "8.14.0"
Conflicts
None
On This Page