package coq-stalmarck
Verified implementation of Stålmarck's algorithm for proving tautologies in Coq
Install
Dune Dependency
Authors
Maintainers
Sources
v8.17.0.tar.gz
sha512=815839771dceb47ce1446f43e7fc9c0a3bcbd966bffd54bfedcc1d19dbb657e985409610185639507a6144566ea80240cdfed44d3366ddc6c9a94e20634dca44
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:2022-12-29Published: 31 Mar 2023
Dependencies (1)
-
coq
>= "8.17" & < "8.18"
Dev Dependencies
None
Used by (1)
-
coq-stalmarck-tactic
= "8.17.0"
Conflicts
None
On This Page