Formal proof—theory and practice (2008)

Cached

Download Links

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