package coq-stalmarck
Verified implementation of Stålmarck's algorithm for proving tautologies in Coq
Install
Dune Dependency
Authors
Maintainers
Sources
v8.18.0.tar.gz
sha512=266011f9003db12b21ccdfeb359642c97d7e9557e2b83ab7db1d941f1865298da67446c5b856fa610ce0655724f202a3762337800b34ab12298c9dc54c146ad5
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:2023-08-08Published: 13 Sep 2023
Dependencies (1)
-
coq
>= "8.18" & < "8.19"
Dev Dependencies
None
Used by (1)
-
coq-stalmarck-tactic
= "8.18.0"
Conflicts
None
On This Page