Theorem Network from Euclid's Elements

A graph of the theorems from Euclid's Elements and their logical dependencies

Solutions to Examples of Post’s Correspondence Problem

A dataset of instances and solutions (if they exist) for Post’s correspondence problem