Sign inSign up

ocaml-gospel/gospel

A tool-agnostic formal specification language for OCaml.

OCamlStars 154Forks 18Watchers 154Open issues 51License MIT License
Details
仓库信息
Ownerocaml-gospel
Homepagehttps://ocaml-gospel.github.io/gospel
GitHubhttps://github.com/ocaml-gospel/gospel
Last pushed2025-12-09
Last updated2025-12-13
Issues fetched at—

Stats

Community at a glance

Loading...

Loading

--

Loading

--

Loading

--

Loading

--