1 search result for "author:"Jasper Stein <jasper@cs.kun.nl>""

Showing 1 - 1
  1. coq-lin-alg

    No documentation

    Linear Algebra
    keyword: linear algebra category: Mathematics/Algebra date: 19 spetember 2003
    Jasper Stein <jasper@cs.kun.nl>
    8.9.0
    LGPL 2.1
    Used by 1 other packages
    08 Dec 2019