lean-lang.org

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

  • General Meta Tags

    3
    • title
      Programming Language and Theorem Prover — Lean
    • charset
      UTF-8
    • viewport
      width=device-width, initial-scale=1

  • Link Tags

    7
    • stylesheet
      fonts/source-code-pro-release/source-code-pro.css
    • stylesheet
      fonts/source-serif-release/source-serif-text.css
    • stylesheet
      static/style.css
    • stylesheet
      -verso-css/tippy-border.css
    • stylesheet
      -verso-css/glightbox.css