neo:Proof Print Exchange 2018