John-Nagle / nqthmLinks

nqthm - the original Boyer-Moore theorem prover, from 1992
52Updated 8 years ago

Alternatives and similar repositories for nqthm

Users that are interested in nqthm are comparing it to the libraries listed below

Sorting: