abella
Interactive theorem prover based on lambda-tree syntax
Description
Install
- Published
-
24 Oct 2014
- Authors
-
- Maintainers
-
Sources
Dependencies
Reverse Dependencies