Skip to content

Changes to Getting To Know Lean#223

Draft
RomanJos wants to merge 9 commits into
leanprover:masterfrom
RomanJos:patch-4
Draft

Changes to Getting To Know Lean#223
RomanJos wants to merge 9 commits into
leanprover:masterfrom
RomanJos:patch-4

Commits

Commits on Aug 31, 2025

Commits on Sep 7, 2025