The Mechanics of Proof

https://hrmacbeth.github.io/math2001/

A book teaching how to write careful, rigorous mathematical proofs, paired with code in the Lean...

Tokens:140,059
Snippets:1,037
Trust Score:8.3
Update:5 months ago
Tokens:
Raw