Formalisation vs. Understanding

https://declanthompson.github.io/publication/thompson-formalisation-2015/