Lean 4 (Meta)programming Cookbook

Formatting Text🔗

A detailed information on formatting on Verso is explained at Verso Markup page. Read below for a consise summary of some of the most commonly used formatting options.

  1. Adding inline Lean Code
  2. Interactive Symbols
  3. Errors and Warnings
  4. Cross-References
  5. Marginal Notes
  6. Indexing