Desmartin, Isac, Passmore, Komendantskaya, Katz, R. O. G. E. G. (2024). Imarabou: Proof Checker for DNN Verification (Version 1.0.0) [Computer software]