abella

Interactive theorem prover based on lambda-tree syntax
Description
Install
Published
24 Oct 2014
Sources
v2.0.2
md5=d7d94e62e9c0a0dbeeded9fa0104e18f
Dependencies
Reverse Dependencies