OCaml
[ANN] Gospel 0.3.0
Ecosystem
announce
cdaringe
April 16, 2024, 2:36pm
2
I enjoyed reading the docs. Great work!
1 Like
show post in topic
Related topics
Topic
Replies
Views
Activity
[ANN] Gospel 0.2.0
Ecosystem
announce
0
390
October 13, 2023
New release: OCaml 4.07.0
Ecosystem
announce
2
4721
July 11, 2018
[ANN] Ortac 0.2.0, leverage Gospel formal specifications to generate tests
Ecosystem
announce
0
281
April 17, 2024
[ANN] First release of ortac-core, ortac-runtime and ortac-qcheck-stm
Ecosystem
0
311
October 30, 2023
Extend existing module
Learning
ocaml
,
module
19
7845
January 31, 2018