FOL-Proof-Compiler A proof compiler for First Order Logic License Copyright © 2022, Elay Dadon and Gal Pinto. Released under the MIT License.