4 Search Results
zipperposition
A fully automatic theorem prover for typed higher-order and beyond
2.1
BSD-2-Clause
Used by 0 other packages