O colobo ou a bolonha de lógica combinatória é uma estrutura projetada para ajudá-lo a testar e desenvolver idiomas de base lógica combinatória. Funciona, obviamente, também para a lógica k, s, i, combinatória. Você pode definir seus combinadores e regras de redução e fornecerá uma série de ferramentas úteis. Funciona, obviamente, também para a lógica k, s, i, combinatória.
softwaresea.com fornece o mais recente centro de download de software verde gratuito em casa e no exterior, incluindo software de computador, aplicativo da apple, aplicativo Android e outros downloads de software móvel gratuito para computador. Se você quiser saber mais sobre o software livre verde, baixe-o em softwaresea.com!