2 search results for "author:"Jasper Stein""

Showing 1 - 2
  1. coq-coqoban

    No documentation

    8.13.0
    LGPL-2.1-or-later
    Used by 0 other packages
    21 Aug 2021
  2. coq-lin-alg

    No documentation

    8.9.0
    LGPL 2.1
    Used by 1 other packages
    08 Dec 2019