2 search results for "tag:"date:2026-09-22""

Showing 1 - 2
  1. coq-vcfloat

    No documentation

    VCFloat: Floating Point Round-off Error Analysis
    date:2026-09-22 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.2
    LGPL-3.0-or-later
    Used by 3 other packages
    24 Sep 2026
  2. rocq-monae

    No documentation

    Monads and equational reasoning in Rocq
    keyword:monae keyword:effects keyword:probability keyword:nondeterminism logpath:monae date:2026-09-22
    Reynald Affeldt David Nowak Takafumi Saikawa Jacques Garrigue Ayumu Saito et al.
    0.9.3
    LGPL-2.1-or-later
    Used by 0 other packages
    28 Sep 2026