the beauty of logic

Welcome to Colobo Project Website!

Colobo stands for COmbinatory LOgic BOlogna framework (but it is also a name of a monkey in italian). Its aim is to help people to deal with combinatory logic. You can define your combinators and reduction rules and it will provide a series of useful tools. It works, obviously, also for the K,S,I, Combinatory Logic.