{"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":[{"name":"vital.had","github":"barracuda156","ports_count":2571}],"variants":[],"dependencies":[{"type":"build","ports":["ocaml","ocaml-dune","clang-16","ocaml-crunch"]},{"type":"lib","ports":["ocaml-base64","ocaml-menhir","ocaml-yojson","ocaml-re","ocaml-cmdliner"]},{"type":"test","ports":["ocaml-ounit2"]}],"depends_on":[]}