I am currently reducing at least 22 proofs by at least 99312 steps total.
Tackling fundamental logic: A very hard automated deduction...
Tags: logic, challenge, computerscience, algorithms