In the recent decades, computers have opened up novel ways of doing mathematics. The speed and raw power of computers has been used to perform searches over previously untractable spaces of objects and proofs, and ...