package coq-mtac2

  1. Overview
  2. Homepage

Description

Published: 09 Feb 2019

Dependencies (3)

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

Dev Dependencies

None

Used by

None

Conflicts

None

Rocq

Interactive Theorem Prover