57 search results for "author:"Cyril Cohen""

Showing 51 - 57
  1. 1.4+9.1
    MIT
    Used by 2 other packages
    04 Nov 2025
  2. 1.4+9.1
    MIT
    Used by 1 other packages
    04 Nov 2025
  3. rocq-metarocq-template

    No documentation

    1.4+9.1
    MIT
    Used by 3 other packages
    04 Nov 2025
  4. 1.4+9.1
    MIT
    Used by 4 other packages
    04 Nov 2025
  5. 1.4+9.1
    MIT
    Used by 1 other packages
    04 Nov 2025
  6. rocq-metarocq-utils

    No documentation

    1.4+9.1
    MIT
    Used by 1 other packages
    04 Nov 2025
  7. rocq-robot-rocq

    No documentation

    0.3.0
    LGPL-2.1-or-later
    Used by 0 other packages
    19 Nov 2025