1 Search Results
abella
Interactive theorem prover based on lambda-tree syntax
2.0.7
GPL-3.0-only
Used by 0 other packages