Formalization of deep learning techniques with the Why3 proof platform - Sousa, Márcio Alexandre Mota (2022)