4 search results for "author:"Andrei Paskevich""
Showing 1 - 4
-
VOCaL -- The Verified OCaml Library0.1MITUsed by 0 other packages25 Dec 2018
-
why3
No documentation
Why3 environment for deductive program verification1.8.1LGPL-2.1-onlyUsed by 7 other packages09 Jun 2025 -
why3-coq
No documentation
Why3 environment for deductive program verification1.8.1LGPL-2.1-onlyUsed by 0 other packages09 Jun 2025 -
why3-ide
No documentation
Why3 environment for deductive program verification1.8.1LGPL-2.1-onlyUsed by 0 other packages09 Jun 2025