GitHub repository: keisrk/automatic
Primary language: Scheme
Created: 2018-07-26T09:37:52Z
Description: Automatic FOL Prover