A simple CLI app that converts FOL formulae to PNF using deBruijn variables
Latest commits.
Builders behind this project.
