Mention dune-rules plugin in qcheck-stm README - Githubissues

ocaml-gospel / ortac

Runtime assertion checking based on Gospel specifications

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

MIT License

36 stars 10 forks source link

Mention dune-rules plugin in qcheck-stm README #242

Closed nikolaushuber closed 1 month ago