Last released Jul 3, 2026
Parser and toolkit for first-order logic formulas using Unicode operators
Supported by