package coq-ltac2

  1. Overview
  2. Homepage
A tactic language for Coq

Install

Dune Dependency

Authors

Maintainers

Sources

0.1.tar.gz
sha256=f03d81d0cf9f28bfb82bbf3c371fbab5878d0923952459739282f173dea816a8

Description

Published: 07 Jun 2019

Dependencies (2)

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

Dev Dependencies

None

Used by

None

Conflicts

None

Rocq

Interactive Theorem Prover