1 search result for "tag:"date:2022-08-20""

Showing 1 - 1
  1. coq-inconsequential_modus_ponens

    No documentation

    A Coq library about how redundant modus ponens is
    keyword:modus ponens category:Mathematics/Logic/Foundations date:2022-08-20
    Veeti Eronen
    1.0.6
    CC-BY-SA-3.0
    Used by 0 other packages
    25 Sep 2022