GitHub repository: AleGit/FLEA
Primary language: Swift
Created: 2016-07-04T08:25:05Z
Description: Simple First Order Prover with Equality