package coq-mtac2

  1. Overview
  2. Homepage

Description

Published: 18 Aug 2018

Dependencies (3)

  1. coq-unicoq >= "1.3~" & < "2~"
  2. coq >= "8.7.0" & < "8.8~"
  3. ocaml

Dev Dependencies

None

Used by

None

Conflicts

None

Rocq

Interactive Theorem Prover