lean4-htt/doc/SUMMARY.md

Summary

• What is Lean
• Tour of Lean

Language Manual

• Functions
• Sections
• Namespaces
• Type classes
• The do Notation
• Tactics
• String interpolation

Other

• Frequently Asked Questions
• Significant Changes from Lean 3
• Syntax Highlighting Lean in LaTeX

Development

• Commit Convention
• Building Lean
  • Ubuntu Setup
  • macOS Setup
  • Windows Setup
  • Nix Setup (Experimental)
• Building This Manual
• Fixing Tests