Starter Blueprint

 Starter Blueprint🔗

Compiled2026-07-01T15:55:49ZProject8c3a2a0Merge pull request #228 from leanprover/feat/md4lean-markdown-rendererLeanleanprover/lean4:v4.31.0VersoBlueprint8c3a2a0

This small Blueprint tracks a few basic arithmetic facts on natural numbers, then ends with a separate Collatz chapter that is intentionally unfinished. It is intentionally small, so it can serve as a starting point for a new project.

Contents

  1. 1. Addition
  2. 2. Multiplication
  3. 3. Collatz
  4. Dependency Graph
  5. Blueprint Summary