package coq-library-undecidability

  1. Overview
  2. Homepage

Description

Published: 09 Nov 2022

Dependencies (4)

  1. coq-metacoq-template >= "1.1+8.16"
  2. coq-smpl >= "8.16"
  3. ocaml
  4. coq >= "8.16.0" & < "8.17"

Dev Dependencies

None

Conflicts

None

Rocq

Interactive Theorem Prover