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.17.0.tar.gz
sha512=815839771dceb47ce1446f43e7fc9c0a3bcbd966bffd54bfedcc1d19dbb657e985409610185639507a6144566ea80240cdfed44d3366ddc6c9a94e20634dca44

Description

Tags

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

Published: 31 Mar 2023

Dependencies (4)

  1. coq-stalmarck = version
  2. coq >= "8.17" & < "8.18"
  3. dune >= "2.5"
  4. ocaml >= "4.05"

Dev Dependencies

None

Used by

None

Conflicts

None