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 challenge (free for all)

xamidi ・ Dec 19 '24

#logic #challenge #computerscience #algorithms

Comments 0 total