package coq-ltac2

  1. Overview
  2. Homepage
A tactic language for Coq

Install

Dune Dependency

Authors

Maintainers

Sources

0.3.tar.gz
sha256=e759198cd7bf1145f822bc7dfad7f47a4c682b28bdd67376026276ae88d55feb

Description

Published: 07 Jun 2019

Dependencies (2)

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

Dev Dependencies

None

Used by

None

Conflicts

None

Rocq

Interactive Theorem Prover