GitHub repository: lgoldberg9/First-Order-Sentence-Generator
Primary language: C
Created: 2017-11-13T02:20:23Z
Description: Generate first order logic sentences of a given language