{"name":"abella","portdir":"math/abella","version":"2.0.8.3","license":"GPL-3","platforms":"darwin","epoch":0,"replaced_by":null,"homepage":"https://abella-prover.org","description":"Interactive theorem prover","long_description":"Abella is an interactive theorem prover based on lambda-tree syntax. This means that Abella is well-suited for reasoning about the meta-theory of programming languages and other logical systems which manipulate objects with binding.","active":true,"categories":["math","ocaml"],"maintainers":[],"variants":[],"dependencies":[{"type":"build","ports":["ocaml","ocaml-dune","clang-18","ocaml-crunch"]},{"type":"lib","ports":["ocaml-base64","ocaml-menhir","ocaml-yojson","ocaml-re","ocaml-cmdliner"]},{"type":"test","ports":["ocaml-ounit2"]}],"depends_on":[]}