clf/ollibot
An implementation of substructural intuitionistic logic focused on forward chaining
Public GitHub Catalog
Discovered Sep 24, 2026
clf / llf
Original LLF implementation (typechecher + operational semantics) from 1997
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#2574676GitHub System ID
clfOrganization / User
PublicVisibility
ActiveCatalog Status
More from clf
clf/lollimon
Lollimon, a monadic concurrent linear logic programming language
clf/celf
Public repository.