ocaml-gospel/ortac

Runtime assertion checking based on Gospel specifications

语言：OCaml · GitHub 星标：58 · Fork：11

话题：ocaml · runtime-verification · specification · verfication

在 GitHub 上查看原仓库