5 search results for "author:"Guillaume Melquiond""

Showing 1 - 5
  1. Tool intended for formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic
    1.4.1
    CECILL-2.1
    Used by 0 other packages
    22 Mar 2023
  2. 1.7.1
    LGPL-2.1-only
    Used by 7 other packages
    25 Jan 2024
  3. why3-base

    No documentation

    0.88.3
    LGPL-2.1-only
    Used by 1 other packages
    12 Jan 2018
  4. 1.7.1
    LGPL-2.1-only
    Used by 0 other packages
    25 Jan 2024
  5. 1.7.1
    LGPL-2.1-only
    Used by 0 other packages
    25 Jan 2024