Towards a certified proof checker for deep neural network verification. ~ Remi Desmartin et als. https://link.springer.com/content/pdf/10.1007/978-3-031-45784-5.pdf#page=203 #ITP #Imandra #DeepLearning