I just published my solution of 22561 proof steps! 🥳
Tackling fundamental logic: A very hard automated deduction...
Tags: logic, challenge, computerscience, algorithms