2 search results for "tag:"date:2025-02-19""

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:2025-02-19
    Guillaume Melquiond <guillaume.melquiond@inria.fr>
    1.7.0
    LGPL-3.0-or-later
    Used by 0 other packages
    19 Feb 2025
  2. coq-hol-light-real-with-N

    No documentation

    Definition of HOL-Light real numbers in Coq using N
    logpath:HOLLight_Real_With_N date:2025-02-19 category:Math/Arith/Misc category:Math/Arith/Real numbers keyword:HOL-Light
    Frédéric Blanqui
    1.2.0
    CeCILL-2.1
    Used by 1 other packages
    13 Mar 2025