abella
Interactive theorem prover based on lambda-tree syntax
| Authors | Andrew Gacek, Yuting Wang and Kaustuv Chaudhuri |
|---|---|
| License | GPL 3 |
| Homepage | http://abella-prover.org |
| Maintainer | kaustuv@chaudhuri.info |
| OCaml | >= 3.12.1 |
Events
Jul 29, 2013
Published version 2.0.1
Jul 20, 2013
Published version 2.0.0