package coq-stalmarck
Correctness proof of Stålmarck's algorithm in Coq
Install
Dune Dependency
Authors
Maintainers
Sources
v8.13.0.tar.gz
sha512=30e012aa8bc944b1d6834c60f84eed2847b53c53f1b7f16575ed60757bcfddd49706826da2621883f955fb190b000af0469cf8a1db06740825d8146dc53048f8
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-08-02Published: 02 Aug 2021
Dependencies (1)
-
coq
>= "8.13" & < "8.14~"
Dev Dependencies
None
Used by (1)
-
coq-stalmarck-tactic
< "8.14.0"
Conflicts
None
On This Page