By any measure, there is an enormous number of programming languages. Some lists contain hundreds, while the Historical ...

Marijn Heule uses turns mathematical statements into something like Sudoku puzzles, then has computers go to work on them.