/lptp

LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the late 90's

Primary LanguagePrologOtherNOASSERTION

Watchers

No one’s watching this repository yet.