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
    13 Jan 2022
  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
    09 Oct 2025
  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>
    20201012
    LGPL-3.0-or-later
    Used by 0 other packages
    27 May 2021
  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
    25 Dec 2018