5 search results for "author:"Andrei Paskevich""

  1. vocal
    VOCaL -- The Verified OCaml Library
  2. why3
    Why3 environment for deductive program verification
    1.6.0
    LGPL-2.1-only
    Used by 6 other packages
    Last published 08 Mar 2023
  3. why3-base
    Why3 environment for deductive program verification (base)
    0.88.3
    LGPL-2.1-only
    Used by 1 other packages
    Last published 12 Jan 2018
  4. why3-coq
    Why3 environment for deductive program verification
    1.6.0
    LGPL-2.1-only
    Used by 0 other packages
    Last published 08 Mar 2023
  5. why3-ide
    Why3 environment for deductive program verification
    1.6.0
    LGPL-2.1-only
    Used by 0 other packages
    Last published 08 Mar 2023