package coq-stalmarck-tactic

  1. Overview
  2. No Docs
Coq tactic and verified tool for proving tautologies using Stålmarck's algorithm

Install

Dune Dependency

github.com Edit opam file Versions (8)

Authors

  1. P
    Pierre Letouzey
  2. L
    Laurent Théry

Maintainers

  1. P
    palmskog@gmail.com

Sources

v8.18.0.tar.gz
sha512=266011f9003db12b21ccdfeb359642c97d7e9557e2b83ab7db1d941f1865298da67446c5b856fa610ce0655724f202a3762337800b34ab12298c9dc54c146ad5

Description

Tags

category:Miscellaneous/Coq Extensions category:Miscellaneous/Extracted Programs/Decision procedures keyword:boolean formula keyword:tautology checker keyword:tactics logpath:Stalmarck.Tactic date:2023-08-08

Published: 13 Sep 2023

Dependencies (4)

  1. coq-stalmarck = version
  2. coq >= "8.18" & < "8.19"
  3. dune >= "2.8"
  4. ocaml >= "4.09.0"

Dev Dependencies

None

Used by

None

Conflicts

None