Formal proof—theory and practice (2008)

by John Harrison
Venue:Notices AMS
Citations:21 - 1 self