1 search result for "author:"Benoit Meister""

Showing 1 - 1
  1. coq-vcfloat

    No documentation

    VCFloat: Floating Point Round-off Error Analysis
    date:2024-03-20 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.2
    LGPL-3.0-or-later
    Used by 1 other packages
    21 Mar 2024