package coq-ltac2

  1. Overview
  2. Homepage
A tactic language for Coq

Install

Dune Dependency

Authors

Maintainers

Sources

0.2.tar.gz
sha256=20120ace91e3269294926e0ea163a3f0da6a731c327f1276ad7e55b024b8d6f6

Description

Published: 07 Jun 2019

Dependencies (2)

  1. coq >= "8.9" & < "8.10~"
  2. ocaml

Dev Dependencies

None

Used by

None

Conflicts

None

Rocq

Interactive Theorem Prover