2 search results for "author:"Jasper Stein""
Showing 1 - 2
-
coq-coqoban
No documentation
Coqoban (Sokoban in Coq)8.13.0LGPL-2.1-or-laterUsed by 0 other packages21 Aug 2021 -
coq-lin-alg
No documentation
Linear Algebra8.9.0LGPL 2.1Used by 1 other packages08 Dec 2019