GitHub repository: AleGit/FLEA5
Primary language: Swift
Created: 2019-03-26T17:00:38Z
Description: Simple First Order Prover with Equality