clf

clf

Geek Repo

Github PK Tool:Github PK Tool

clf's repositories

Language:Standard MLLicense:GPL-3.0Stargazers:58Issues:9Issues:2

lollimon

Lollimon, a monadic concurrent linear logic programming language

Language:OCamlStargazers:26Issues:5Issues:0

ollibot

An implementation of substructural intuitionistic logic focused on forward chaining

Language:Standard MLStargazers:13Issues:6Issues:1

llf

Original LLF implementation (typechecher + operational semantics) from 1997