ocaml-gospel / ortac

Runtime assertion checking based on Gospel specifications

Home Page:https://ocaml-gospel.github.io/ortac/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

ocaml-gospel/ortac Stargazers