live.lean-lang.org

Preview meta tags from the live.lean-lang.org website.

  • General Meta Tags

    3
    • title
      Lean 4 Web
    • charset
      UTF-8
    • viewport
      width=device-width, initial-scale=1.0

  • Link Tags

    1
    • stylesheet
      /assets/index-D2sx2uRk.css