7 search results for "tag:"date:2026-03-05""

Showing 1 - 7
  1. coq-infotheo

    No documentation

    Discrete probabilities and information theory for Rocq
    keyword:information theory keyword:probability keyword:error-correcting codes keyword:convexity logpath:infotheo date:2026-03-05
    Reynald Affeldt, AIST Manabu Hagiwara, Chiba U. (previously AIST) Jonas Senizergues, ENS Cachan (internship at AIST) Jacques Garrigue Kazuhiko Sakaguchi, Tsukuba U. et al.
    0.9.7
    LGPL-2.1-or-later
    Used by 1 other packages
    05 Mar 2026
  2. coq-kruskal-almostfull

    No documentation

    Base Coq library for manipulating Almost Full relations
    category:Computer Science/Data Types and Data Structures date:2026-03-05 logpath:KruskalAfProp logpath:KruskalAfType
    Dominique Larchey-Wendling (https://github.com/DmxLarchey)
    2.1
    MPL-2.0
    Used by 5 other packages
    06 Mar 2026
  3. coq-kruskal-trees

    No documentation

    Coq library for manipulating rose trees (ie finitely branching) as used in proof of Kruskal's tree theorem
    category:Computer Science/Data Types and Data Structures date:2026-03-05 logpath:KruskalTrees
    Dominique Larchey-Wendling (https://github.com/DmxLarchey)
    2.0.1
    MPL-2.0
    Used by 7 other packages
    06 Mar 2026
  4. rocq-iris

    No documentation

    A Higher-Order Concurrent Separation Logic Framework with support for interactive proofs
    date:2026-03-05 logpath:iris.prelude logpath:iris.algebra logpath:iris.si_logic logpath:iris.bi logpath:iris.proofmode logpath:iris.base_logic logpath:iris.program_logic
    The Iris Team
    4.5.0
    BSD-3-Clause
    Used by 1 other packages
    06 Mar 2026
  5. rocq-iris-heap-lang

    No documentation

    The canonical example language for Iris
    date:2026-03-05 logpath:iris.heap_lang
    The Iris Team
    4.5.0
    BSD-3-Clause
    Used by 0 other packages
    06 Mar 2026
  6. rocq-stdpp

    No documentation

    An extended "Standard Library" for Rocq
    date:2026-03-05 logpath:stdpp
    The std++ team
    1.13.0
    BSD-3-Clause
    Used by 2 other packages
    06 Mar 2026
  7. rocq-stdpp-bitvector

    No documentation

    A library for bitvectors based on std++
    date:2026-03-05 logpath:stdpp.bitvector
    The std++ team
    1.13.0
    BSD-3-Clause
    Used by 0 other packages
    06 Mar 2026