4 search results for "tag:"logpath:Lib""

Showing 1 - 4
  1. coq-libhyps

    No documentation

    Hypotheses manipulation library
    keyword:proof environment manipulation keyword:forward reasoning keyword:hypothesis naming category:Miscellaneous/Coq Tactics Library logpath:LibHyps date:2025-10-6
    Pierre Courtieu
    3.0.2
    MIT
    Used by 1 other packages
    14 Oct 2025
  2. coq-libvalidsdp

    No documentation

    LibValidSDP
    keyword:libValidSDP keyword:ValidSDP keyword:floating-point arithmetic keyword:Cholesky decomposition category:Miscellaneous/Coq Extensions logpath:libValidSDP
    Pierre Roux <pierre.roux@onera.fr> Érik Martin-Dorel <erik.martin-dorel@irit.fr>
    1.1.2
    LGPL-2.1-or-later
    Used by 2 other packages
    23 Sep 2026
  3. rocq-libhyps

    No documentation

    Hypotheses manipulation library
    keyword:proof environment manipulation keyword:forward reasoning keyword:hypothesis naming category:Miscellaneous/Coq Extensions logpath:LibHyps date:2026-04-13
    Pierre Courtieu
    5.0
    MIT
    Used by 0 other packages
    17 Apr 2026
  4. rocq-spivak

    No documentation

    Spivak calculus, textbook exercises, real analysis, and checked tactics
    keyword:calculus keyword:tactics category:Mathematics/Real Calculus and Topology logpath:Lib logpath:Calculus logpath:ATTAM logpath:Backprop date:2026-10-03
    Sterling Jeppson
    0.1.2
    MIT
    Used by 0 other packages
    20 Oct 2026