Abella Proof Assistant
Results
1
repositories owned by
Abella Proof Assistant
abella
88
Stars
17
Forks
Watchers
An interactive theorem prover based on lambda-tree syntax
Abella Proof Assistant
An interactive theorem prover based on lambda-tree syntax