3 search results for "tag:"date:2025-11-14""

Showing 1 - 3
  1. coq-hammer

    No documentation

    General-purpose automated reasoning hammer tool for Coq
    category:Miscellaneous/Coq Extensions keyword:automation keyword:hammer logpath:Hammer.Plugin date:2025-11-14
    Lukasz Czajka <lukaszcz@mimuw.edu.pl> Cezary Kaliszyk <cezary.kaliszyk@uibk.ac.at>
    1.3.2+9.1
    LGPL-2.1-only
    Used by 1 other packages
    20 Nov 2025
  2. coq-hammer-tactics

    No documentation

    Reconstruction tactics for the hammer for Coq
    keyword:automation keyword:hammer keyword:tactics logpath:Hammer.Tactics date:2025-11-14
    Lukasz Czajka <lukaszcz@mimuw.edu.pl>
    1.3.2+9.1
    LGPL-2.1-only
    Used by 1 other packages
    20 Nov 2025
  3. coq-vcfloat

    No documentation

    VCFloat: Floating Point Round-off Error Analysis
    date:2025-11-14 keyword:decision procedure keyword:floating-point arithmetic category:Computer Science/Decision Procedures and Certified Algorithms/Decision procedures logpath:VCFloat
    Andrew W. Appel Ariel E. Kellison Tahina Ramananandro Paul Mountcastle Benoit Meister et al.
    2.4
    LGPL-3.0-or-later
    Used by 2 other packages
    18 Nov 2025