I am currently reducing at least 22 proofs by at least 99312 steps total.

I am currently reducing at least 22 proofs by at least 99312 steps total.

#logic #challenge #computerscience #algorithms

xamidi

xamidi @xamidi

About: Proof theory & complexity

Location:

Aachen, Germany

Joined:

May 28, 2023

I am currently reducing at least 22 proofs by at least 99312 steps total.

Publish Date: Jan 6

0 0

xamidi

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

xamidi ・ Dec 19 '24

#logic #challenge #computerscience #cpp

Comments 0 total