3 search results for "tag:"keyword:function""

Showing 1 - 3
  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
  2. coq-mathcomp-classical

    No documentation

    A library for classical logic for mathematical components
    category:Mathematics/Logic/Classical logic keyword:classical logic keyword:logic keyword:sets keyword:set theory keyword:function keyword:cardinal keyword:filter logpath:mathcomp.classical
    Reynald Affeldt Alessandro Bruni Yves Bertot Cyril Cohen Marie Kerjean et al.
    1.8.0
    CECILL-C
    Used by 2 other packages
    19 Dec 2024
  3. coq-mathcomp-ssreflect

    No documentation

    Small Scale Reflection
    keyword:small scale reflection keyword:mathematical components keyword:bigop keyword:big operators keyword:biomial coefficient keyword:integer division theory keyword:finite sets keyword:functions with finite domain keyword:finite graphs keyword:quotient types keyword:order theory keyword:partial order keyword:lattices keyword:lists keyword:ordering and sorting lists keyword:prime numbers keyword:tuples keyword:bounded lists logpath:mathcomp.ssreflect
    The Mathematical Components team
    2.3.0
    CECILL-B
    Used by 40 other packages
    29 Nov 2024