This repository contains implementations of various formal systems such as lambda calculus, SKI combinatory calculus and propositional logic.
This repository contains implementations of various formal systems such as lambda calculus, SKI combinatory calculus and propositional logic.
This repository contains implementations of various formal systems such as lambda calculus, SKI combinatory calculus and propositional logic.
This repository contains implementations of various formal systems such as lambda calculus, SKI combinatory calculus and propositional logic.
GNU General Public License v3.0