ocaml-gospel

ocaml-gospel

🏢 Organization

1 repository on SrcLog

View on GitHub
1 Repos
52 Stars
10 Forks
52 Watchers

Repositories (1)

ortac ocaml-gospel/ortac OCaml

Runtime assertion checking based on Gospel specifications

52