package coq-library-fol

  1. Overview
  2. No Docs
A Coq Library for First-Order Logic

Install

Dune Dependency

github.com Edit opam file Versions (2)

Authors

  1. D
    Dominik Kirst
  2. J
    Johannes Hostert
  3. A
    Andrej Dudenhefner
  4. Y
    Yannick Forster
  5. M
    Marc Hermes
  6. M
    Mark Koch
  7. D
    Dominique Larchey-Wendling
  8. N
    Niklas Mück
  9. B
    Benjamin Peters
  10. G
    Gert Smolka
  11. D
    Dominik Wehr

Maintainers

  1. K
    kirst@cs.uni-saarland.de

Sources

v1.0+8.18.tar.gz
sha256=9be91c51601e2a6afba5f71d44bdd1a5775345d2140c3a401d7c26ff58ad6351

Description

Published: 07 Nov 2023

Dependencies (2)

  1. coq-library-undecidability = "1.1.1+8.18"
  2. coq >= "8.18" & < "8.19~"

Dev Dependencies

None

Used by

None

Conflicts

None