3 search results for "author:"Benjamin Grégoire""

Showing 1 - 3
  1. coq-bignums

    No documentation

    9.0.0+rocq9.0
    LGPL-2.1-only
    Used by 10 other packages
    20 Mar 2025
  2. coq-smtcoq

    No documentation

    2.3+8.20
    CECILL-C
    Used by 1 other packages
    19 Sep 2024
  3. rocq-bignums

    No documentation

    9.0.0+rocq9.0
    LGPL-2.1-only
    Used by 1 other packages
    20 Mar 2025