1 search result for "author:"Jean-Christophe Filliatre <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