abella-prover / abella

An interactive theorem prover based on lambda-tree syntax
94Updated last month

Alternatives and similar repositories for abella:

Users that are interested in abella are comparing it to the libraries listed below