17 search results for "author:"bobot""

Showing 1 - 17
  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. camlid

    No documentation

    OCaml library for generating C stubs
    François Bobot
    0.2
    LGPL-2.1-only
    Used by 0 other packages
    11 Dec 2025
  5. 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
  6. 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
  7. colibrilib
    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
  8. conf-gcc
    Documentation
    Virtual package relying on the gcc compiler (for C)
    Francois Berenger Francois Bobot
    1.0
    GPL-2.0-or-later
    Used by 14 other packages
    07 Feb 2020
  9. 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
  10. 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
  11. flint

    No documentation

    Stub of the C library Flint3
    François Bobot
    0.4.2
    LGPL-2.1-only
    Used by 0 other packages
    12 Dec 2025
  12. frama-c

    No 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.
    32.0
    LGPL-2.1-only
    Used by 2 other packages
    08 Dec 2025
  13. mlpost
    Documentation
    OCaml library on top of Metapost
    Romain Bardou Francois Bobot Jean-Christophe Filliâtre Johannes Kanig Stephane Lescuyer
    0.9
    LGPL-2.1-only
    Used by 1 other packages
    15 Feb 2021
  14. mlpost-lablgtk
    Documentation
    Library for adding mlpost graphics in lablgtk
    Romain Bardou Francois Bobot Jean-Christophe Filliâtre Johannes Kanig Stephane Lescuyer
    0.9
    LGPL-2.1-only
    Used by 0 other packages
    15 Feb 2021
  15. 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.2
    LGPL-2.1-only
    Used by 7 other packages
    19 Sep 2025
  16. 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.2
    LGPL-2.1-only
    Used by 0 other packages
    19 Sep 2025
  17. 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.2
    LGPL-2.1-only
    Used by 0 other packages
    19 Sep 2025