Formally verified mathematics

Jeremy Avigad, John Harrison. Formally verified mathematics. Communications of the ACM, 57(4):66-75, 2014. [doi]

Abstract

Abstract is missing.