package coq-stalmarck
Verified implementation of Stålmarck's algorithm for proving tautologies in Coq
Install
Dune Dependency
Authors
Maintainers
Sources
stalmarck-8.20.0.tar.gz
sha512=22910294d2c1029d6bcdad37810af12996a6704d3f86348d01e5d487782c002506a6c554e377e0a7f6fd2bc4f5e71fdee397593aeda3e412c05301ac6b9549ab
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:2024-06-30Published: 06 Sep 2024
Dependencies (1)
-
coq
>= "8.20" & < "8.21"
Dev Dependencies
None
Used by (1)
-
coq-stalmarck-tactic
>= "8.20.0"
Conflicts
None
On This Page