clf/ollibot
An implementation of substructural intuitionistic logic focused on forward chaining
Developer Profile
clf
Discovered public repositories for clf in the GitHub catalog.
clf/llf
Original LLF implementation (typechecher + operational semantics) from 1997
clf/lollimon
Lollimon, a monadic concurrent linear logic programming language
clf/celf
Public repository.