Last released Feb 14, 2024
python cli program to convert latex input to CNF (conjunctive normal form).
Supported by