ocaml-gospel

Results 1 repositories owned by


ocaml-gospel

ortac

34

Stars

9

Forks

Watchers

Runtime assertion checking based on Gospel specifications

runtime-verification