package coq-mtac2

  1. Overview
  2. Homepage

Description

Published: 24 Aug 2018

Dependencies (3)

  1. coq-unicoq >= "1.3~" & < "2~"
  2. coq >= "8.8.0" & < "8.9~"
  3. ocaml

Dev Dependencies

None

Used by

None

Conflicts

None

Rocq

Interactive Theorem Prover