package coq-ltac2

  1. Overview
  2. Homepage

Description

Published: 25 Dec 2017

Dependencies (2)

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

Dev Dependencies

None

Used by

None

Conflicts

None

Rocq

Interactive Theorem Prover