Implementation of sequential method for classic first-order-logic
Primary LanguageCSSMIT LicenseMIT
No issues in this repository yet.