• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
The Proof in the Code: How Lean, AI, and a Band of Mathematical Rebels Are Building a Machine for Truth

The Proof in the Code: How Lean, AI, and a Band of Mathematical Rebels Are Building a Machine for Truth

Paperback

FictionGeneral ComputersProgramming

Currently unavailable to order

ISBN13: 9798181109032
Publisher: Independently Published
Pages: 258
Weight: 0.77
Height: 0.54 Width: 6.00 Depth: 9.00
Language: English

Also in

Fiction