Julia package for parsing, manipulating and evaluating formulas in first-order logic.
Primary LanguageJuliaOtherNOASSERTION