GitHub repository: logicUSLIB/logicus-fol
Primary language: Elm
Created: 2021-09-14T08:17:08Z
Description: A functional library for dealing with First Order Logic