Using lemmas to aid automated theorem proving for Condensed Detachment Problems
Primary LanguageProlog