package coq-mtac2

  1. Overview
  2. Homepage

Description

Tags

logpath:Mtac2 date:2020-08-19

Published: 07 Jan 2021

Dependencies (3)

  1. coq-unicoq >= "1.5" & < "2~"
  2. coq >= "8.13" & < "8.14~"
  3. ocaml

Dev Dependencies

None

Used by

None

Conflicts

None

Rocq

Interactive Theorem Prover