razor-fol (cargo): razor-fol is a library for parsing and syntactic manipulation of first-order theories.
Keywords: logic|geometric|first-order|razor|parser|chase|geometric-logic|model-finding|rust-lang|theorem-proving