Zulip Chat Archive
Stream: general
Topic: Book recomendation
Tim Daly (Jan 12 2020 at 22:36):
MacKenzie, Donald "Mechanizing Proof: Computing, Risk, and Trust" MIT Press (2001) ISBN 0-262-13393-8
Last updated: May 02 2025 at 03:31 UTC
MacKenzie, Donald "Mechanizing Proof: Computing, Risk, and Trust" MIT Press (2001) ISBN 0-262-13393-8
Last updated: May 02 2025 at 03:31 UTC