1. On the life and afterlife of proofs
A trail introducing founding ideas and showcasing the significance of the concept of proof
These trails are not meant to be easy, but they are meant to be doable, and they are meant to make you happy to have walked them, good luck!