package coq-mtac2

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

Install

Dune Dependency

Authors

Maintainers

Sources

v1.4-coq8.15.tar.gz
sha512=1d07bd67b6f5dc6b63f248100e29e9071b330d07c938aa605a3244f53f49c55124f9857feab1284cf2f92893d0f6fe2507ea14e5a7908b93508ff660c8bdf887

Description

Tags

logpath:Mtac2 date:2022-01-19

Published: 21 Jan 2022

Dependencies (3)

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

Dev Dependencies

None

Used by

None

Conflicts

None

Rocq

Interactive Theorem Prover