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

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-30

Published: 06 Sep 2024

Dependencies (4)

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

Dev Dependencies

None

Used by

None

Conflicts

None