Formal proof—Getting started (2008)

by F Wiedijk
Venue:Notices of the American Mathematical Society