1 search result for "author:"Joan Thibault <joan.thibault@ens-rennes.fr>""

Showing 1 - 1
  1. coq-ground

    No documentation

    Ground : A Useful Extension to Coq's Standard Library
    Joan Thibault <joan.thibault@ens-rennes.fr>
    0.01.0
    LGPL-3.0-only with OCaml-LGPL-linking-exception
    Used by 0 other packages
    19 Dec 2021