Notes from the logbook of a proof-checker's project