coq-of-ocaml

Formal verification for OCaml

Search similar apps

License

MIT License

Formal verification for OCaml

Creator

formal-land

Related apps