I just published my solution of 22561 proof steps! 🥳

I just published my solution of 22561 proof steps! 🥳

#logic #challenge #computerscience #algorithms

xamidi

xamidi @xamidi

About: Proof theory & complexity

Location:

Aachen, Germany

Joined:

May 28, 2023

I just published my solution of 22561 proof steps! 🥳

Publish Date: Feb 26

1 0

xamidi

Tackling fundamental logic: A very hard automated deduction challenge (free for all)

xamidi ・ Dec 19 '24

#logic #challenge #computerscience #algorithms

Comments 0 total