ocaml-gospel
Results
1
repositories owned by
ocaml-gospel
ortac
37
Stars
10
Forks
Watchers
Runtime assertion checking based on Gospel specifications
