A new proof format (APTP) and an efficient proof checker (APTPchecker) make neural network verification more reliable and robust across different tools.