GitHub repository: GalPinto/FOL-Proof-Compiler
Created: 2022-01-28T16:55:47Z
Description: A proof compiler for First Order Logic