abella-prover/abella
An interactive theorem prover based on lambda-tree syntax
Public GitHub Catalog
Discovered Sep 28, 2026
abella-prover / abella-prover.org
The web-site for Abella
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#11511999GitHub System ID
abella-proverOrganization / User
PublicVisibility
ActiveCatalog Status