Hi! We are very happy to announce the release of gospel.0.3.0 Gospel is a tool-agnostic behavioural specification language for OCaml. It allows you to write strongly typed contract-based specifications for your OCaml libraries (for a reasonable subset of OCaml). Gospel’s syntax has been designed to…

[ANN] Gospel 0.3.0

cdaringe April 16, 2024, 2:36pm 2

I enjoyed reading the docs. Great work!

1 Like

Topic	Replies	Views
[ANN] Gospel 0.2.0 Ecosystem announce	405	October 13, 2023
[ANN] Ortac 0.2.0, leverage Gospel formal specifications to generate tests Ecosystem announce	295	April 17, 2024
[ANN] Ortac/Wrapper: a new plugin for specification driven unit testing Ecosystem announce	125	September 23, 2025
[ANN] Ortac 0.3.0 Dynamic formal verification made easy Ecosystem announce	170	July 9, 2024
[ANN] First release of ortac-core, ortac-runtime and ortac-qcheck-stm Ecosystem	322	October 30, 2023