/FirstOrderLogic.jl

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

Primary LanguageJuliaOtherNOASSERTION

No issues in this repository yet.