1 search result for "author:"Edith Heiter""

Showing 1 - 1
  1. 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