abella

Interactive theorem prover based on lambda-tree syntax
Description
Install
Published
17 Jun 2015
Authors
Maintainers
Sources
v2.0.3
md5=ad56f51254d702242d78bb91ddc08671
Dependencies
ocaml >= "3.12.1" & < "4.08.0"
Reverse Dependencies