Notes from the logbook of a proof checker's project