My next contribution will take a few weeks longer. I am down to 25045 proof steps right now.
Tackling fundamental logic: A very hard automated deduction...
Tags: logic, challenge, computerscience, algorithms