{"name":"coq","portdir":"lang/coq","version":"8.13.2","license":"LGPL-2.1","platforms":"darwin","epoch":0,"replaced_by":null,"homepage":"https://coq.inria.fr/","description":"Proof assistant for higher-order logic","long_description":"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 Camlp4.","active":true,"categories":["lang","math"],"maintainers":[{"name":"pmetzger","github":"pmetzger","ports_count":23}],"variants":["doc","coqide"],"dependencies":[{"type":"build","ports":["ocaml-findlib","clang-17"]},{"type":"lib","ports":["ocaml","ocaml-zarith"]}],"depends_on":[]}