1 search result for "author:"jean-christophe.filliatre@cnrs.fr""

Showing 1 - 1
  1. hashcons
    Documentation
    OCaml hash-consing library
    Jean-Christophe Filliatre <Jean-Christophe.Filliatre@cnrs.fr>
    1.4.0
    LGPL-2.1-only
    Used by 5 other packages
    01 Feb 2024