GitHub repository: recardona/Java-FOPL
Primary language: Java
Description: A Java-based meta-linguistic abstraction of the first-order predicate calculus.