ocaml-gospel

ocaml-gospel

🏢 Organization

1 repository on SrcLog

View on GitHub
1 Repos
55 Stars
10 Forks
4 Watchers

Repositories (1)

ortac ocaml-gospel/ortac OCaml

Runtime assertion checking based on Gospel specifications

55