mew-cx/chaitin_lisp

Runnable code from Chaitin's "The Limits of Mathematics (in C)"

Common Lisp