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,,,