abella-prover / abella

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

Alternatives and similar repositories for abella:

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