2 search results for "author:"Johannes Hostert""

Showing 1 - 2
  1. coq-library-fol

    No documentation

    A Coq Library for First-Order Logic
    Dominik Kirst Johannes Hostert Andrej Dudenhefner Yannick Forster Marc Hermes et al.
    1.0+8.18
    MIT
    Used by 0 other packages
    07 Nov 2023
  2. coq-library-undecidability

    No documentation

    A Coq Library of Undecidability Proofs
    Yannick Forster Dominique Larchey-Wendling Andrej Dudenhefner Edith Heiter Marc Hermes et al.
    1.1.2+8.20
    MPL-2.0
    Used by 0 other packages
    30 Sep 2024