package coq-mtac2

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

Install

Dune Dependency

Authors

Maintainers

Sources

v1.4-coq8.17.tar.gz
sha512=d98d39ff05295350e30081ce46928615594c902779284646324f5f4e7536fcc5c09cf992f0a15d73a3542bbbcd2a46c884dbf2e87bf14d9b1712887c0d0e3bfb

Description

Tags

logpath:Mtac2 date:2023-03-29

Published: 31 Mar 2023

Dependencies (3)

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

Dev Dependencies

None

Used by

None

Conflicts

None

Rocq

Interactive Theorem Prover