This being said, I think there is much to be gained in terms of understanding proofs by means of formalization, so rest assured that I am not a formalization skeptic! :)
Ik ben heel benieuwd naar jouw mening, laat het me weten in de comments! •••••••••••••••••••••••••••••••••••••••••••••