16 search results for "author:"François Bobot""

Showing 1 - 16
  1. Stub of the C library Antic. Algebraic number
    0.3.2
    LGPL-2.1-only
    Used by 1 other packages
    13 Oct 2023
  2. Stub of the C library Arb. Ball approximation
    0.3.2
    LGPL-2.1-only
    Used by 1 other packages
    13 Oct 2023
  3. Stub of the C library Antic. For exact computation with real and complex numbers, presently in early development
    0.3.2
    LGPL-2.1-only
    Used by 1 other packages
    13 Oct 2023
  4. colibri2

    No documentation

    0.4
    LGPL-2.1-only
    Used by 0 other packages
    29 Mar 2023
  5. A CP solver proved in Why3
    0.4
    LGPL-2.1-only
    Used by 0 other packages
    29 Mar 2023
  6. A library of domains and propagators proved in Why3
    0.4
    LGPL-2.1-only
    Used by 1 other packages
    29 Mar 2023
  7. Collection of thin bindings to various low-level system API
    0.4.1
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 8 other packages
    20 Jun 2022
  8. Floating point numbers library extracted from the Flocq Coq Library
    0.1
    LGPL-2.1
    Used by 2 other packages
    30 May 2022
  9. Stub of the C library Flint2
    0.3.2
    LGPL-2.1-only
    Used by 3 other packages
    13 Oct 2023
  10. 28.1
    LGPL-2.1-only
    Used by 3 other packages
    04 Mar 2024
  11. frama-c-base

    No documentation

    15.0
    LGPL-2.1-only
    Used by 2 other packages
    30 Oct 2018
  12. oci

    No documentation

    OCI is a framework for continuous integrations and benchmarks. At the
    0.3
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    13 Apr 2016
  13. 1.7.1
    LGPL-2.1-only
    Used by 7 other packages
    25 Jan 2024
  14. why3-base

    No documentation

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