Mastodawn

I wrote a blog post about my proof minimization challenge.

https://dev.to/xamidi/tackling-fundamental-logic-a-very-hard-automated-deduction-challenge-free-for-all-bic
#mathematics #computerscience #logic #challenge #dev #puzzle

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

Earlier this year, I created an open-ended logic puzzle that turned out to be quite a demanding...

DEV Community