leanprover.github.io

Preview meta tags from the leanprover.github.io website.

  • General Meta Tags

    3
    • title
      Redirecting to lean-lang.org
    • charset
      utf-8
    • refresh
      0; URL=https://lean-lang.org/

  • Link Tags

    1
    • canonical
      https://lean-lang.org/