2 search results for "author:"Jean-Christophe.Filliatre@cnrs.fr""

Showing 1 - 2
  1. combine
    Documentation
    Combine is a library for combinatorics problem solving.
    Jean-Christophe Filliâtre <jean-christophe.filliatre@cnrs.fr> Rémy El Sibaie <remy.el-sibaie@lip6.fr>
    0.6
    LGPL-2.1-only
    Used by 0 other packages
    Added to opam-repository
  2. hashcons
    Documentation
    OCaml hash-consing library
    Jean-Christophe Filliatre <Jean-Christophe.Filliatre@cnrs.fr>
    1.4.0
    LGPL-2.1-only
    Used by 6 other packages
    Added to opam-repository