fmfi-uk-1-ain-412/js-fol-parser

The **js‑fol‑parser** library provides a collection of pure‑JavaScript parsers for first‑order logic syntax: terms, formulas (with strict or precedence‑based grammars), clauses, substitutions, and finite‑structure definitions. It is aimed at developers building theorem‑provers, model checkers, or educational tools who need to turn textual FOL expressions into custom AST nodes or other representations via user‑supplied factory functions.