package coq-mtac2

  1. Overview
  2. Homepage
Typed tactic language for Coq

Install

Dune Dependency

Authors

Maintainers

Sources

v1.4-coq8.19.tar.gz
sha512=4c5f17576bdfa6e127d5901666da640352ad472211bf21cf5ae67944e84ba9bf6306215cfcad83ca2117e29ec40429db8daf7421249e857537a08e827b3c4132

Description

Published: 24 Apr 2024

Dependencies (2)

  1. coq-unicoq >= "1.5" & < "2~"
  2. coq >= "8.19" & < "8.20"

Dev Dependencies

None

Used by

None

Conflicts

None

Rocq

Interactive Theorem Prover