Marijn Heule uses turns mathematical statements into something like Sudoku puzzles, then has computers go to work on them.
There are few things that can keep a certain kind of mechanically-inclined mind entranced as well as a marble run, and few ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback