5 search results for "author:"Andrei Paskevich""
-
vocal
VOCaL -- The Verified OCaml LibraryArthur Charguéraud Martin Clochard Jean-Christophe Filliâtre Léon Gondelman Armaël Guéneau Xavier Leroy Cláudio Lourenço Simão Melo de Sousa Andrei Paskevich Mário Pereira François Pottier0.1MITUsed by 0 other packagesLast published 25 Dec 2018
-
why3
Why3 environment for deductive program verificationdeductive program verification formal specification automated theorem prover interactive theorem prover1.6.0LGPL-2.1-onlyUsed by 6 other packagesLast published 08 Mar 2023
-
why3-base
Why3 environment for deductive program verification (base)deductive program verification formal specification automated theorem prover interactive theorem prover0.88.3LGPL-2.1-onlyUsed by 1 other packagesLast published 12 Jan 2018
-
why3-coq
Why3 environment for deductive program verificationdeductive program verification formal specification automated theorem prover interactive theorem prover1.6.0LGPL-2.1-onlyUsed by 0 other packagesLast published 08 Mar 2023
-
why3-ide
Why3 environment for deductive program verificationdeductive program verification formal specification automated theorem prover interactive theorem prover1.6.0LGPL-2.1-onlyUsed by 0 other packagesLast published 08 Mar 2023