2 search results for "author:"Steven De Oliveira <de.oliveira.steven@gmail.com>""
Showing 1 - 2
-
This library provis functions for encoding efficiently simple OCaml dataSteven < . .steven@gmail.com>0.1.0LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages07 Sep 2022
-
pilat
No documentation
Polynomial invariant generatorSteven < . .steven@gmail.com>1.6LGPL-2.1-onlyUsed by 0 other packages22 Aug 2022