Article Review: M. Kerber, C. Lange, C. Rowat, “An introduction to mechanized reasoning”, J. Math. Econom. 66 (2016), 26-39. Review published in Mathematical Reviews (MathSciNet)