Lean 4 (Meta)programming Cookbook

Adding Sections🔗

Use the # symbol for top-level section like below. Each chapter should start with a clear problem statement and a summary of the solution. Just like Introduction here.

You can use ## for subheaders to organize your content into sections. You can use * for a bolding - Like this.

  1. Tagging