package coq-library-undecidability

  1. Overview
  2. No Docs
A Coq Library of Undecidability Proofs

Install

Dune Dependency

github.com Edit opam file Versions (6)

Authors

  1. Y
    Yannick Forster
  2. D
    Dominique Larchey-Wendling
  3. A
    Andrej Dudenhefner
  4. E
    Edith Heiter
  5. M
    Marc Hermes
  6. J
    Johannes Hostert
  7. D
    Dominik Kirst
  8. M
    Mark Koch
  9. F
    Fabian Kunze
  10. G
    Gert Smolka
  11. S
    Simon Spies
  12. D
    Dominik Wehr
  13. M
    Maxi Wuttke

Maintainers

  1. F
    forster@ps.uni-saarland.de

Sources

v1.1.2+8.20.tar.gz
sha256=38566d822f97f65d284aca8913d19ba1e7943fdd998ba8e50466baf8c8f07d1a

Description

Published: 30 Sep 2024

Dependencies (2)

  1. coq-metacoq-template = "1.3.2+8.20"
  2. coq >= "8.20" & < "8.21~"

Dev Dependencies

None

Used by

None

Conflicts

None