abella 2.0.0
| 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 20, 2013 | ||||
| Source [http] |
http://abella-prover.org/distributions/abella-2.0.0.tar.gz b7262a2a82d24ea0355edf8022a4f595 |
||||
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/abella/abella.2.0.0/opam | ||||
Interactive theorem prover based on lambda-tree syntax
| No package is dependent |