abella

Interactive theorem prover based on lambda-tree syntax
IN THIS PACKAGE
Empty package map