1 Search Results
abella
Interactive theorem prover based on lambda-tree syntax
Andrew Gacek Yuting Wang Kaustuv Chaudhuri
2.0.7
GPL-3.0-only
Used by 0 other packages