1 search result for "tag:"keyword:functional elimination""

Showing 1 - 1
  1. coq-equations

    No documentation

    A function definition package for Coq
    keyword:dependent pattern-matching keyword:functional elimination category:Miscellaneous/Coq Extensions logpath:Equations date:2024-07-09
    Matthieu Sozeau <matthieu.sozeau@inria.fr> Cyprien Mangin <cyprien.mangin@m4x.org>
    1.3.1+8.20
    LGPL-2.1-only
    Used by 10 other packages
    06 Sep 2024