FirstOrderLogic.jl
Julia
★ 18
updated 6y ago
Julia package for parsing, manipulating and evaluating formulas in first-order logic.
No plain-English explanation yet — one is being written right now. Check back in a minute.