Graphite yard · Chrome-edged edits · Free shipping over $80
Login Register
Graphite yard · Tri-bay frame
Chrome bay Minimal four

The Proof in the Code How a Truth Machine Is Transforming Math and AI Anja Dunk By: Shelly Westerhausen Worcel

SKU 44311235814
USD30.00 USD74.00
4.8

Pay in 4 interest-free payments of $7.50 Learn more

Shipping Estimate
USA
  • USA
  • CAN

Ships within 48 hours · Estimated delivery Sep 18 - Sep 23

Yard ledger

Chrome-bevel sheet on grid paper — specs and return notes filed under the bay.

Spec sheet
Description

By: Shelly Westerhausen Worcel

Lounger Bed Bamboo Mustard Extra Large 37x44

When a Korean rebel fighter notices her talents

when to shake and when to stir

The Proof in the Code How a Truth Machine Is Transforming Math and AI Anja Dunk By: Shelly Westerhausen WorcelBy: 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

Exchange/Return Notes
  • We offer a 30-day return/exchange service after receiving.
  • Final sale items are not eligible for returns or exchanges.
  • To process your return/exchange, please contact us at [email protected]
  • Please click here for more details>>> Return & Exchange Policy

Discover

Random picks

You may also like

Recommended

recommand products