Small documentation cleanup

ocaml-gospel / ortac

Runtime assertion checking based on Gospel specifications

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

MIT License

37 stars 10 forks source link

Closed n-osborne closed 10 months ago

n-osborne commented 10 months ago

Content part was empty and pointing to the different modules' documentation is not really relevant.