Get Free Shipping on orders over $89
The Proof in the Code : How a Truth Machine Is Transforming Math and AI - Kevin Hartnett

The Proof in the Code

How a Truth Machine Is Transforming Math and AI

By: Kevin Hartnett

Hardcover | 9 June 2026

At a Glance

Hardcover


$52.99

or 4 interest-free payments of $13.25 with

 or 

Available: 9th June 2026

Preorder. Will ship when available.

The inside story of Lean, a computer program that answers the age-old question: How do you know if something is true?

More in Mathematics

The Infinite Game : From the bestselling author of Start With Why - Simon Sinek
How to Win At Chess : The Ultimate Guide for Beginners and Beyond - Levy Rozman
Collins Classics - The Republic : Collins Classics - Plato
Antifragile : Things That Gain from Disorder - Nassim Nicholas Taleb

RRP $27.99

$23.75

15%
OFF
Oxford Maths for Australian Schools Year 3 Value Pack : 3rd Edition - Annie Facchinetti
Statistics and Data Handling for Biologists : A Student's Guide - Neil Millar
Oxford Maths for Australian Schools Value Pack Year 5 : Oxford Maths - Brian Murray
Oxford Maths for Australian Schools Year 4 Value Pack : 3rd Edition - Annie Facchinetti
Oxford Maths for Australian Schools Year 6 Value Pack : 3rd Edition - Brian Murray
Pre-Algebra Workbook Grades 6-8 : Algebra - Kumon

RRP $24.99

$18.99

24%
OFF
Woo's Wonderful World of Maths - Eddie Woo

RRP $29.99

$24.99

17%
OFF
Handbook of Automated Reasoning - Rachel Phillips
Textbook of Algebra - Jonas Hoover

$432.75