Sign inSign up

ocaml-gospel/ortac

Runtime assertion checking based on Gospel specifications

OCamlStars 50Forks 11Watchers 50Open issues 21License MIT License
Details
仓库信息
Ownerocaml-gospel
Homepagehttps://ocaml-gospel.github.io/ortac/
GitHubhttps://github.com/ocaml-gospel/ortac
Last pushed2025-12-15
Last updated2025-12-15
Issues fetched at—

Stats

Community at a glance

Loading...

Loading

--

Loading

--

Loading

--

Loading

--