13 search results for "author:"Pierre Roux""

Showing 1 - 13
  1. coq-coqeal

    No documentation

    2.0.3
    MIT
    Used by 3 other packages
    16 Dec 2024
  2. coq-interval

    No documentation

    4.11.1
    CeCILL-C
    Used by 7 other packages
    22 Oct 2024
  3. coq-libvalidsdp

    No documentation

    1.0.2
    LGPL-2.1-or-later
    Used by 1 other packages
    13 Dec 2023
  4. Ring, field, lra, nra, and psatz tactics for Mathematical Components
    1.2.3
    CECILL-B
    Used by 2 other packages
    18 Jan 2024
  5. coq-mathcomp-analysis

    No documentation

    1.8.0
    CECILL-C
    Used by 7 other packages
    19 Dec 2024
  6. 1.8.0
    CECILL-C
    Used by 0 other packages
    19 Dec 2024
  7. coq-mathcomp-classical

    No documentation

    1.8.0
    CECILL-C
    Used by 2 other packages
    19 Dec 2024
  8. coq-mathcomp-dioid

    No documentation

    0.2
    CECILL-B
    Used by 0 other packages
    20 Dec 2021
  9. 1.8.0
    CECILL-C
    Used by 1 other packages
    19 Dec 2024
  10. coq-mathcomp-reals

    No documentation

    1.8.0
    CECILL-C
    Used by 3 other packages
    19 Dec 2024
  11. 1.8.0
    CECILL-C
    Used by 2 other packages
    19 Dec 2024
  12. coq-paramcoq

    No documentation

    1.1.3+coq8.20
    MIT
    Used by 4 other packages
    06 Sep 2024
  13. coq-validsdp

    No documentation

    1.0.2
    LGPL-2.1-or-later
    Used by 0 other packages
    13 Dec 2023