Pay in 4 interest-free payments of $7.50 Learn more
Ships within 48 hours · Estimated delivery Aug 9 - Aug 14
In this all-new color version with updated spelling and grammar
Translated by International Booker shortlistee Anton Hur
* Neutral Grain Spirits 38% ABV
unforgettable moments
and versatile
The Proof in the Code How a Truth Machine Is Transforming Math and AI Jairo Buitrago In this all-new color versionBy: Kevin Hartnett Published by Farrar, Straus and Giroux, 2026 06 09 The inside story of Lean, a computer program that answers the age old question: How do you know if something is true? It began as an obscure bug checking program at Microsoft Research developed by a lone computer engineer named Leo de Moura. Then an unlikely crew of mathematical misfits caught wind of it and began to adopt it with messianic zeal. Their goal was to create a truth
![Pikachu (TG05/TG30) [Sword & Shield: Lost Origin] SWSH269](https://cdn.shopify.com/s/files/1/0745/9002/8087/files/e9cae60d-288c-5574-9970-a360d370dd89.jpg?v=1737501729)
![Machamp (9/101) (National Championships Promo) [EX: Hidden Legends] 184](https://cdn.shopify.com/s/files/1/0745/9002/8087/products/ef1e8edc-2e15-5abc-81d5-5e268ea67886_bc88baf0-e2ae-4764-8826-ad7e303acb9a.jpg?v=1696288017)
![Professor's Research (147/172) (2021) [Professor Program Promos] 268](https://cdn.shopify.com/s/files/1/0745/9002/8087/files/82f8e1e9-8bd4-523e-8a57-1b967a68fa4e.jpg?v=1770755189)
![Eternatus VMAX (TG22/TG30) [Sword & Shield: Lost Origin] Jungle](https://cdn.shopify.com/s/files/1/0745/9002/8087/files/fe9ebe1f-c9b9-53d9-8959-b7794d47c448.jpg?v=1737504427)
![Quick Ball (237/264) (North America Championships Promo) [Sword & Shield: Fusion Strike] Draft Box](https://cdn.shopify.com/s/files/1/0745/9002/8087/files/ed1d7df6-a02f-518e-8ceb-f55f0a5f11eb.png?v=1721159178)
![Gallade V (TG19/TG30) [Sword & Shield: Lost Origin] 116](https://cdn.shopify.com/s/files/1/0745/9002/8087/files/85fe41d1-dcc1-5e15-88f3-2d272d359670.jpg?v=1737504368)
![Vaporeon (22/98) (Cosmos Holo) [XY: Ancient Origins] Sea Serpent](https://cdn.shopify.com/s/files/1/0745/9002/8087/products/e230624d-7635-5280-8f8e-84575daf73e0_bd76ccb0-3125-4cf2-b681-225eace6c3f6.jpg?v=1696288505)
![Bulbasaur (SWSH231) [Sword & Shield: Black Star Promos] 054](https://cdn.shopify.com/s/files/1/0745/9002/8087/files/541598e6-b532-5c9a-8059-d587302234bb.jpg?v=1764797888)
![Aron (42/108) (Stamped) [EX: Power Keepers] SWSH270](https://cdn.shopify.com/s/files/1/0745/9002/8087/files/4c2d8fcf-f88b-5a7a-b530-b8e2de5e9dd5.jpg?v=1744297097)
![Origin Forme Palkia VSTAR (208/189) [Sword & Shield: Astral Radiance] Trainer](https://cdn.shopify.com/s/files/1/0745/9002/8087/products/cefd0452-7f03-58f4-b711-91f50f9d6f79.jpg?v=1707349491)
![Golem (6/92) (Regional Championship Promo) [EX: Legend Maker] 008](https://cdn.shopify.com/s/files/1/0745/9002/8087/products/d76db3c1-cf3d-5784-88c8-d3fe566d056c_776407b5-960f-4b64-b846-30151a96c0a0.jpg?v=1696289256)
![The Stage of Fate, Futaba Isurugi (RSL/S56-TE01R RRR) [Revue Starlight] 264](https://cdn.shopify.com/s/files/1/0745/9002/8087/files/6a721907-1728-5a34-a125-517da7a86da7.jpg?v=1712374524)
![Snorlax VMAX (142/202) (Jumbo Card) [Sword & Shield: Base Set] 207](https://cdn.shopify.com/s/files/1/0745/9002/8087/files/84de3b91-1719-59ef-a697-da30072cd1c5.jpg?v=1737492951)
![Wailord (40/168) (Cosmos Holo) [Sun & Moon: Celestial Storm] Secret Rare](https://cdn.shopify.com/s/files/1/0745/9002/8087/files/22b49b16-8757-5cba-8edb-b55859bd4f9f.jpg?v=1746209790)
![Holon Transceiver (98/113) (Swift Empoleon - Akira Miyazaki) [World Championships 2007] Supporter](https://cdn.shopify.com/s/files/1/0745/9002/8087/products/a7a62a72-67f7-5961-95a3-e35832a64e3c_135e167d-3f9c-4752-a69a-a83bfaf91fe2.jpg?v=1696290305)
![Haunter LV.35 (40/100) (Queengar - Jason Martinez) [World Championships 2009] 094](https://cdn.shopify.com/s/files/1/0745/9002/8087/products/b5f16228-258d-5b62-9f80-112ee3e15c71_71829e7b-cf04-47e5-8d0d-d56503282ba6.jpg?v=1696290051)
![Roseanne's Research (125/132) (Bliss Control - Paul Atanassov) [World Championships 2008] 68](https://cdn.shopify.com/s/files/1/0745/9002/8087/products/d8943b5f-fd8f-54ce-9647-314e2775926a_b399a68b-e9a5-4f5f-9aa0-8c549fad9dd9.jpg?v=1696290306)
![Kinetic Soldier [WC4-002] Secret Rare Lightning[x2]](https://cdn.shopify.com/s/files/1/0745/9002/8087/files/0b90a32b-e74a-5d17-b634-5ea0b0411bd9.png?v=1753449966)
![Jolteon ex (109/113) (Eeveelutions - Jimmy Ballard) [World Championships 2006] Yu-Gi-Oh! Championship Series Prize Cards](https://cdn.shopify.com/s/files/1/0745/9002/8087/files/ca6eb1fe-e867-5ef9-b0d5-7bf1c8ea0370.jpg?v=1761155519)
![Medicham ex (95/106) (Bright Aura - Curran Hill's) [World Championships 2005] Collection Box](https://cdn.shopify.com/s/files/1/0745/9002/8087/products/ffb29008-c973-5d84-86c6-f471229494dc.jpg?v=1696290812)
