ocaml-gospel

ocaml-gospel/gospel

A tool-agnostic formal specification language for OCaml.

163 stars 19 forks 163 watchers OCaml MIT License

View on GitHub Website

1 Open Issue Need Help Last updated: Sep 17, 2026

Open Issues Need Help

View All on GitHub

Remove `string` from Gospel type 6 days ago

good first issue

ocaml-gospel/gospel

163

A tool-agnostic formal specification language for OCaml.

OCaml