{"name":"rocq","portdir":"lang/rocq","version":"9.2.0","license":"LGPL-2.1","platforms":"darwin","epoch":0,"replaced_by":null,"homepage":"https://rocq-prover.org/","description":"Proof assistant for higher-order logic","long_description":"Rocq (formerly coq) is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using OCaml and Dune.","active":true,"categories":["lang","math"],"maintainers":[{"name":"pmetzger","github":"pmetzger","ports_count":24}],"variants":[],"dependencies":[{"type":"build","ports":["ocaml-dune","ocaml-findlib","clang-18"]},{"type":"lib","ports":["ocaml","ocaml-zarith"]},{"type":"test","ports":["ocaml-zip"]}],"depends_on":[]}