Minor updates to the `README` - Githubissues

ocaml-gospel / ortac

Runtime assertion checking based on Gospel specifications

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

MIT License

37 stars 10 forks source link

Minor updates to the `README` #164

Closed shym closed 10 months ago