WhyML

the language of the Why3 framework
Specification format

Links

https://why3.lri.fr/manual.pdf (Chapter 7 is "The WhyML Language Reference")

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.