Calculus, Vol. 1: One-Variable Calculus, with an Introduction to Linear Algebra

Apostol, Tom M.

LaTeX

Full set of proofs and exercises.

Lean

• Chapter I.03: A Set of Axioms for the Real-Number System
• Chapter 1.11: Exercises