This project was inspired by the paper Disproof of the Mertens Conjecture which showed how computational algebra systems like GAP can be used to solve longstanding mathematical conjectures by finding ...