2 search results for "author:"arthur.chargueraud@inria.fr""

Showing 1 - 2
  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. 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