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

Showing 1 - 13
  1. antic

    No documentation

    Deprecated use flint
    François Bobot
    0.4.0
    LGPL-2.1-only
    Used by 1 other packages
    11 Jul 2024
  2. arb

    No documentation

    Deprecated use flint
    François Bobot
    0.4.0
    LGPL-2.1-only
    Used by 1 other packages
    11 Jul 2024
  3. calcium

    No documentation

    Deprecated use flint
    François Bobot
    0.4.0
    LGPL-2.1-only
    Used by 1 other packages
    11 Jul 2024
  4. colibri2

    No documentation

    A CP solver for smtlib
    François Bobot Bruno Marre Guillaume Bury Stéphane Graham-Lengrand
    0.4
    LGPL-2.1-only
    Used by 0 other packages
    29 Mar 2023
  5. colibrics
    Documentation
    A CP solver proved in Why3
    François Bobot
    0.4
    LGPL-2.1-only
    Used by 0 other packages
    29 Mar 2023
  6. colibrilib

    No documentation

    A library of domains and propagators proved in Why3
    François Bobot
    0.4
    LGPL-2.1-only
    Used by 1 other packages
    29 Mar 2023
  7. extunix
    Documentation
    Collection of thin bindings to various low-level system API
    org:ygrek
    Andre Nathan Antonin Décimo Dmitry Grebeniuk François Bobot Gerd Stolpmann et al.
    0.4.4
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 9 other packages
    12 Mar 2025
  8. farith
    Documentation
    Floating point numbers library extracted from the Flocq Coq Library
    François Bobot Loïc Correnson Arthur Correnson
    0.1
    LGPL-2.1
    Used by 2 other packages
    30 May 2022
  9. flint

    No documentation

    Stub of the C library Flint3
    François Bobot
    0.4.0
    LGPL-2.1-only
    Used by 3 other packages
    11 Jul 2024
  10. frama-c
    Documentation
    Platform dedicated to the analysis of source code written in C
    deductive verification program verification formal specification automated theorem prover interactive theorem prover C plugins abstract interpretation slicing weakest precondition ACSL dataflow analysis runtime verification
    Michele Alberti Thibaud Antignac Gergö Barany Patrick Baudin Nicolas Bellec et al.
    30.0
    LGPL-2.1-only
    Used by 3 other packages
    16 Dec 2024
  11. why3
    Documentation
    Why3 environment for deductive program verification
    deductive program verification formal specification automated theorem prover interactive theorem prover
    François Bobot Jean-Christophe Filliâtre Claude Marché Guillaume Melquiond Andrei Paskevich
    1.8.0
    LGPL-2.1-only
    Used by 6 other packages
    13 Dec 2024
  12. why3-coq
    Documentation
    Why3 environment for deductive program verification
    deductive program verification formal specification automated theorem prover interactive theorem prover
    François Bobot Jean-Christophe Filliâtre Claude Marché Guillaume Melquiond Andrei Paskevich
    1.8.0
    LGPL-2.1-only
    Used by 0 other packages
    13 Dec 2024
  13. why3-ide
    Documentation
    Why3 environment for deductive program verification
    deductive program verification formal specification automated theorem prover interactive theorem prover
    François Bobot Jean-Christophe Filliâtre Claude Marché Guillaume Melquiond Andrei Paskevich
    1.8.0
    LGPL-2.1-only
    Used by 0 other packages
    13 Dec 2024