Abella Proof Assistant
https://abella-prover.org
The Abella proof assistant project
Repositories
Issues
Comments
Results
0
issues of
Abella Proof Assistant