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.13.0.tar.gz
sha512=30e012aa8bc944b1d6834c60f84eed2847b53c53f1b7f16575ed60757bcfddd49706826da2621883f955fb190b000af0469cf8a1db06740825d8146dc53048f8

Description

Tags

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

Published: 02 Aug 2021

Dependencies (4)

  1. coq-stalmarck = version
  2. coq >= "8.13" & < "8.14~"
  3. dune >= "2.5"
  4. ocaml >= "4.05"

Dev Dependencies

None

Used by

None

Conflicts

None