C Implementation of Gregory Chaitin's the Limits of Mathematics
github.com