package coq-mtac2

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

Install

Dune Dependency

Authors

Maintainers

Sources

v1.4-coq8.14.tar.gz
sha512=9d4dd7176a6ceeca1cbe5f2490bc6d17c1a2f8653cbfd4251d42f7dad0c23dfb7383a131a2ca2beae10cbad0e50c4ee24a5e40775dd128260ca583962ea55c83

Description

Tags

logpath:Mtac2 date:2021-09-24

Published: 26 Nov 2021

Dependencies (3)

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

Dev Dependencies

None

Used by

None

Conflicts

None

Rocq

Interactive Theorem Prover