GitHub repository: ontologyportal/JavaRes
Primary language: Java
Description: Java-based FOL prover - translation of eprover/PyRes