GitHub repository: thomgray/GLogic
Primary language: Objective-C
Created: 2016-03-20T15:51:34Z
Description: An Objective-C framework for modelling Formal Logic (supports Sentential and 1st-Order Predicate forms)