lean4-htt/doc/SUMMARY.md

Summary

• Frequently Asked Questions

Language Manual

• Significant Changes from Lean 3
• The do Notation

Tools

• Syntax Highlighting Lean in LaTeX

Development

• Commit Convention
• Building Lean
  • Ubuntu Setup
  • macOS Setup
  • Windows Setup
• Building This Manual
• Fixing Tests