1 search result for "tag:"logpath:Flocq""

Showing 1 - 1
  1. coq-flocq

    No documentation

    A formalization of floating-point arithmetic for the Coq system
    keyword:floating-point arithmetic logpath:Flocq date:2025-01-26
    Sylvie Boldo <sylvie.boldo@inria.fr> Guillaume Melquiond <guillaume.melquiond@inria.fr>
    4.2.1
    LGPL-3.0-or-later
    Used by 16 other packages
    26 Jan 2025