package coq-stalmarck-tactic
Coq tactic and verified tool for proving tautologies using Stålmarck's algorithm
Install
Dune Dependency
Authors
Maintainers
Sources
stalmarck-8.20.0.tar.gz
sha512=22910294d2c1029d6bcdad37810af12996a6704d3f86348d01e5d487782c002506a6c554e377e0a7f6fd2bc4f5e71fdee397593aeda3e412c05301ac6b9549ab
Description
Tags
category:Miscellaneous/Coq Extensions category:Miscellaneous/Extracted Programs/Decision procedures keyword:boolean formula keyword:tautology checker keyword:tactics logpath:Stalmarck.Tactic date:2024-06-30Published: 06 Sep 2024
Dependencies (4)
-
coq-stalmarck
= version -
coq
>= "8.20" & < "8.21" -
dune
>= "2.8" -
ocaml
>= "4.09.0"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page