package coq-stalmarck
Verified implementation of Stålmarck's algorithm for proving tautologies in Coq
Install
Dune Dependency
Authors
Maintainers
Sources
v8.15.0.tar.gz
sha512=b8d27d4062c7541a1a45ec28e0b916cb7ba2ca6b444447005763db2a101ce8ef59bcef76ef475251e3059be5622806f451159b556af9fcacee3897e1bc0e4469
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-09-16Published: 17 Sep 2022
Dependencies (1)
-
coq
>= "8.15" & < "8.16~"
Dev Dependencies
None
Used by (1)
-
coq-stalmarck-tactic
= "8.15.0"
Conflicts
None
On This Page