4 search results for "author:"Arthur Charguéraud""

Showing 1 - 4
  1. cfml
    Documentation
    The CFML program verification tool
    Arthur Charguéraud <arthur.chargueraud@inria.fr>
    20220112
    CC-BY-4.0
    Used by 0 other packages
    Added to opam-repository
  2. incremental_cycles
    Documentation
    A state-of-the-art formally verified incremental cycle detection algorithm
    Armaël Guéneau <> Jacques-Henri Jourdan <> Arthur Charguéraud <> François Pottier <>
    0.1
    LGPL-2.1-only
    Used by 0 other packages
    Added to opam-repository
  3. sek
    Documentation
    An efficient implementation of ephemeral and persistent sequences
    Arthur Charguéraud <arthur.chargueraud@inria.fr> Émilie Guermeur <then at Inria> François Pottier <francois.pottier@inria.fr>
    20260619
    LGPL-3.0-or-later
    Used by 0 other packages
    Added to opam-repository
  4. vocal
    Documentation
    VOCaL -- The Verified OCaml Library
    Arthur Charguéraud Martin Clochard Jean-Christophe Filliâtre Léon Gondelman Armaël Guéneau et al.
    0.1
    MIT
    Used by 0 other packages
    Added to opam-repository