1 search result for "author:"Floris van Doorn <fpvdoorn@gmail.com> [http://www.contrib.andrew.cmu.edu/~fpv/]""

Showing 1 - 1
  1. coq-propcalc

    No documentation

    Propositional Calculus
    keyword: propositional calculus keyword: classical logic keyword: completeness keyword: natural deduction keyword: sequent calculus keyword: cut elimination category: Mathematics/Logic/Foundations
    Floris van Doorn <fpvdoorn@gmail.com> [http://www.contrib.andrew.cmu.edu/~fpv/]
    8.10.0
    BSD
    Used by 0 other packages
    07 Dec 2019