Programming the theories of symbolic logic into code that can be read & understood by the machine. - View it on GitHub