Program Proofs

Name: Program Proofs
Brand: MIT Press
SKU: c18ac358af858af32e5f0de9265a5cc0

1/1

Prices from

53.68

Description

Program Proofs

Compare webshops (3)

Sponsored links · Some shops pay us a fee

Sort by:

£ 53.68

£ 55.33

Description (0)

Program Proofs

* Price history contains no data from Amazon, Amazon Marketplace.

Prices were last updated on: 15-11-2026, 04:25

Apress

Introduction to Dependent Types with Idris: Encoding Program Proofs in

Independently Published

the Program That Doubts Itself: What to Trust Last When AI Writes Proofs

the Program That Doubts Itself: What to Trust Last When AI Writes Proofs

All about Proofs, Proofs for (Paperback)