abella 2.0.1
| Authors | Andrew Gacek, Yuting Wang and Kaustuv Chaudhuri | ||||
|---|---|---|---|---|---|
| License | GPL 3 | ||||
| Homepage | http://abella-prover.org | ||||
| Maintainer | kaustuv@chaudhuri.info | ||||
| Dependencies |
|
||||
| OCaml | >= 3.12.1 | ||||
| Published | Jul 29, 2013 | ||||
| Source [http] |
http://abella-prover.org/distributions/abella-2.0.1.tar.gz 60c67bbfc0539eabebc0f4c6eb3ac7bd |
||||
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/abella/abella.2.0.1/opam | ||||
Interactive theorem prover based on lambda-tree syntax
| No package is dependent |