Implementation of Church Numerals in Scheme and Haskell
Example of a proof in classical logic. The example is written in the system Minlog.
Copyright (c) 2014 Nelly Hateva. See LICENSE.txt for further details.
Implementation of Church Numerals in Scheme and Haskell
Example of a proof in classical logic. The example is written in the system Minlog.
Copyright (c) 2014 Nelly Hateva. See LICENSE.txt for further details.