abella-prover / abella

An interactive theorem prover based on lambda-tree syntax

Home Page:https://abella-prover.org/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

abella-prover/abella Stargazers