id	summary	reporter	owner	description	type	status	resolution	keywords	cc
7	Abella theorem prover	Ben Lippmeier		"Abella is an interactive theorem prover based on lambda-tree syntax. This means that Abella is well-suited for reasoning about the meta-theory of programming languages and other logical systems which manipulate objects with binding. 

http://abella-prover.org/"	talk request	new