7 search results for "author:"Houda Mouhcine""

Showing 1 - 7
  1. coq-num-analysis

    No documentation

    1.0.0
    LGPL-3.0-or-later
    Used by 0 other packages
    06 Sep 2022
  2. rocq-num-analysis

    No documentation

    2.2.0
    LGPL-3.0-or-later
    Used by 0 other packages
    13 Mar 2026
  3. 2.2.0
    LGPL-3.0-or-later
    Used by 2 other packages
    13 Mar 2026
  4. rocq-num-analysis-fem

    No documentation

    2.2.0
    LGPL-3.0-or-later
    Used by 1 other packages
    13 Mar 2026
  5. 2.2.0
    LGPL-3.0-or-later
    Used by 1 other packages
    13 Mar 2026
  6. 2.2.0
    LGPL-3.0-or-later
    Used by 1 other packages
    13 Mar 2026
  7. 2.2.0
    LGPL-3.0-or-later
    Used by 2 other packages
    13 Mar 2026