package coq-mtac2

  1. Overview
  2. Homepage
Mtac2: Typed Tactics for Coq

Install

Dune Dependency

Authors

Maintainers

Sources

v1.4-coq8.16.tar.gz
sha512=f668ecbefe3144c04110d2b27a8fd38f0ac675c15824ac12e1b6d58e80078c64854ab1f787584dd9a596dc71311d70ba2cf5f9d9a8815427b4a7328e401fe6f5

Description

Tags

logpath:Mtac2 date:2022-08-23

Published: 09 Sep 2022

Dependencies (3)

  1. coq-unicoq >= "1.5" & < "2~"
  2. coq >= "8.16" & < "8.17~"
  3. ocaml

Dev Dependencies

None

Used by

None

Conflicts

None

Rocq

Interactive Theorem Prover