Lean: First Steps
Home
Contents
Resources
Contents
Introduction
00 - Proofs & Proof Assistants
Direct Proofs
01 - First Proof
02 - Substitution
03 - Symbols, No Numbers
04 - Simple Algebra
Home
Subscribe to:
Posts (Atom)