abellaversion
Interactive theorem prover based on lambda-tree syntax
| Authors | Andrew Gacek, Yuting Wang and Kaustuv Chaudhuri |
|---|---|
| License | GPL-3.0-only |
| Published | |
| Homepage | http://abella-prover.org |
| Issue Tracker | https://github.com/abella-prover/abella/issues |
| Maintainer | kaustuv@chaudhuri.info |
| Available | arch != "arm32" |
| Dependencies |
|
| Source [http] | https://github.com/abella-prover/abella/archive/v2.0.7.tar.gz md5=1e5a56fb213d628d86fef3166caea54d sha512=c796800d49214e9dc574c3e94ac683b92e57459a956a3718212af133f519d55f0d7f4bed3126e37fc17001aede971d4f8c33045c319e9c2d11cdb68c1b737c83 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/abella/abella.2.0.7/opam |
No package is dependent
