An implementation of substructural intuitionistic logic focused on forward chaining
Primary LanguageStandard ML