@fmfi-uk-1-ain-412/js-fol-parser (npm): A JavaScript parser for first-order logic languages
Keywords: first-order-logic|logic|parser