2 search results for "tag:"date:2026-04-21""

Showing 1 - 2
  1. coq-gappa

    No documentation

    A Coq tactic for discharging goals about floating-point arithmetic and round-off errors using the Gappa prover
    keyword:floating-point arithmetic keyword:interval arithmetic keyword:decision procedure category:Computer Science/Decision Procedures and Certified Algorithms/Decision procedures logpath:Gappa date:2026-04-21
    Guillaume Melquiond <guillaume.melquiond@inria.fr>
    1.9.0
    LGPL-3.0-or-later
    Used by 0 other packages
    21 Apr 2026
  2. rocq-marble

    No documentation

    Data structures based on machine integers and primitive arrays
    date:2026-04-21 logpath:marble
    François Pottier <francois.pottier@inria.fr>
    20260421
    LGPL-2.1-only
    Used by 0 other packages
    22 Apr 2026