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.15.0.tar.gz
sha512=b8d27d4062c7541a1a45ec28e0b916cb7ba2ca6b444447005763db2a101ce8ef59bcef76ef475251e3059be5622806f451159b556af9fcacee3897e1bc0e4469

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-09-16

Published: 17 Sep 2022

Dependencies (4)

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

Dev Dependencies

None

Used by

None

Conflicts

None