1 search result for "tag:"keyword:dependent pattern-matching""

Showing 1 - 1
  1. rocq-equations

    No documentation

    A function definition package for Rocq
    keyword:dependent pattern-matching keyword:functional elimination category:Miscellaneous/Coq Extensions logpath:Equations
    Matthieu Sozeau <matthieu.sozeau@inria.fr> Cyprien Mangin <cyprien.mangin@m4x.org>
    1.3.2+9.3
    LGPL-2.1-only
    Used by 10 other packages
    23 Oct 2026