package coq-mtac2

  1. Overview
  2. Homepage
Typed tactic language for Coq

Install

Dune Dependency

Authors

Maintainers

Sources

v1.4-coq8.18.tar.gz
sha512=50a12d086da0416774b4464a234df7ce86c191c45345b2951b6c6ecdbe7675e215e2507b8af45daafd3ea09c35862ad8c1adee61ae34995148c73eb85749d68a

Description

Published: 01 Nov 2023

Dependencies (2)

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

Dev Dependencies

None

Used by

None

Conflicts

None

Rocq

Interactive Theorem Prover