GOSPEL

Tool-agnostic formal specification language for OCaml https://github.com/ocaml-gospel/gospel
Specification format

ProVerB specific



ProVerB is a part of SLEBoK. Last updated: February 2023.