1 search result for "author:"Benjamin Peters""

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