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


This content originally appeared on DEV Community and was authored by xamidi

xamidi

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

xamidi ・ Dec 19 '24

#logic #challenge #computerscience #algorithms


This content originally appeared on DEV Community and was authored by xamidi


Print Share Comment Cite Upload Translate Updates
APA

xamidi | Sciencx (2025-01-25T00:26:37+00:00) My next contribution will take a few weeks longer. I am down to 25045 proof steps right now.. Retrieved from https://www.scien.cx/2025/01/25/my-next-contribution-will-take-a-few-weeks-longer-i-am-down-to-25045-proof-steps-right-now/

MLA
" » My next contribution will take a few weeks longer. I am down to 25045 proof steps right now.." xamidi | Sciencx - Saturday January 25, 2025, https://www.scien.cx/2025/01/25/my-next-contribution-will-take-a-few-weeks-longer-i-am-down-to-25045-proof-steps-right-now/
HARVARD
xamidi | Sciencx Saturday January 25, 2025 » My next contribution will take a few weeks longer. I am down to 25045 proof steps right now.., viewed ,<https://www.scien.cx/2025/01/25/my-next-contribution-will-take-a-few-weeks-longer-i-am-down-to-25045-proof-steps-right-now/>
VANCOUVER
xamidi | Sciencx - » My next contribution will take a few weeks longer. I am down to 25045 proof steps right now.. [Internet]. [Accessed ]. Available from: https://www.scien.cx/2025/01/25/my-next-contribution-will-take-a-few-weeks-longer-i-am-down-to-25045-proof-steps-right-now/
CHICAGO
" » My next contribution will take a few weeks longer. I am down to 25045 proof steps right now.." xamidi | Sciencx - Accessed . https://www.scien.cx/2025/01/25/my-next-contribution-will-take-a-few-weeks-longer-i-am-down-to-25045-proof-steps-right-now/
IEEE
" » My next contribution will take a few weeks longer. I am down to 25045 proof steps right now.." xamidi | Sciencx [Online]. Available: https://www.scien.cx/2025/01/25/my-next-contribution-will-take-a-few-weeks-longer-i-am-down-to-25045-proof-steps-right-now/. [Accessed: ]
rf:citation
» My next contribution will take a few weeks longer. I am down to 25045 proof steps right now. | xamidi | Sciencx | https://www.scien.cx/2025/01/25/my-next-contribution-will-take-a-few-weeks-longer-i-am-down-to-25045-proof-steps-right-now/ |

Please log in to upload a file.



There are no updates yet.
Click the Upload button above to add an update.

You must be logged in to translate posts. Please log in or register.

Related Posts