package coq-stalmarck
Verified implementation of Stålmarck's algorithm for proving tautologies in Coq
Install
Dune Dependency
Authors
Maintainers
Sources
stalmarck-8.19.0.tar.gz
sha512=b7b408366a326a699aaa10e61793cee76238830f9356015ba1fe263727003a5c6237d3471f1d5a3ee3aeeb791b0ad5a531ec78ee93febd1e9d2100f509ff9641
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-12-23Published: 28 Jan 2024
Dependencies (1)
-
coq
>= "8.19" & < "8.20"
Dev Dependencies
None
Used by (1)
-
coq-stalmarck-tactic
= "8.19.0"
Conflicts
None
On This Page