package coq-mtac2

  1. Overview
  2. No Docs
Typed tactic language for Coq

Install

Dune Dependency

Authors

Maintainers

Sources

v1.4-coq8.20.tar.gz
sha512=f1a79cba34996f21204cda9cafe024768e6ab676dd7058523a33fe89a1dd7dfbe0752d63aa90086d12c4ead69739c9b9edc68ae4af9aa9abc0da9a4fb9ae3c6a

Description

Published: 22 Nov 2024

Dependencies (2)

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

Dev Dependencies

None

Used by

None

Conflicts

None