Why3

why3.lri.frsite

from

OCaml

added

2026-10-10

likes

0

similar

1. ▲

   WHY3 gitlab.inria.fr

   site link ↗
   
2. ▲

   Why OCaml, why now? spyder.wordpress.com

   site link ↗
   
3. ▲

   Reason facebook.github.io

   site link ↗
   site
4. ▲

   repr mirage.github.io

   site link ↗
   site
5. ▲

   Owl ocaml.xyz

   site link ↗
   site
6. ▲

   99 problems ocaml.org

   site link ↗
   

OCaml › Formal Software Verification: “Why3 is a platform for deductive program verification. It provides a rich language for specification and programming, called WhyML, and relies on external theorem provers, both automated and interactive, to discharge verification conditions.”