2 search results for "author:"Christine Paulin-Mohring""

Showing 1 - 2
  1. coq-alea

    No documentation

    8.12.0
    LGPL-2.1-only
    Used by 0 other packages
    03 Nov 2021
  2. coq-streams

    No documentation

    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019