1 search result for "author:"Nicolas Obsorne""

Showing 1 - 1
  1. gospel
    Documentation
    A tool-agnostic formal specification language for OCaml
    Jean-Christophe Filliâtre Samuel Hym Cláudio Lourenço Nicolas Obsorne Clément Pascutto et al.
    0.3.0
    MIT
    Used by 2 other packages
    12 Apr 2024