ocaml-gospel

ocaml-gospel/gospel

A tool-agnostic formal specification language for OCaml.

1 good first / help-wanted issue · OCaml · last activity Sep 17, 2026

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 about 1 month ago

good first issue

ocaml-gospel/gospel

163

A tool-agnostic formal specification language for OCaml.

OCaml