package coq-library-undecidability

  1. Overview
  2. Homepage

Description

Published: 02 Nov 2023

Dependencies (3)

  1. coq-metacoq-template = "1.2.1+8.18"
  2. ocaml
  3. coq >= "8.18" & < "8.19~"

Dev Dependencies

None

Used by (1)

  1. coq-library-fol = "1.0+8.18"

Conflicts

None

Rocq

Interactive Theorem Prover