en.wikipedia.org/wiki/Lean_(proof_assistant)

Preview meta tags from the en.wikipedia.org website.

Linked Hostnames

46

  • General Meta Tags

    10
    • title
      Lean (proof assistant) - Wikipedia
    • charset
      UTF-8
    • ResourceLoaderDynamicStyles
    • generator
      MediaWiki 1.45.0-wmf.4
    • referrer
      origin

  • Open Graph Meta Tags

    2
    • og:title
      Lean (proof assistant) - Wikipedia
    • og:type
      website

  • Link Tags

    50
    • EditURI
      //en.wikipedia.org/w/api.php?action=rsd
    • alternate
      //en.m.wikipedia.org/wiki/Lean_(proof_assistant)
    • alternate
      /w/index.php?title=Lean_(proof_assistant)&action=edit
    • alternate
      /w/index.php?title=Special:RecentChanges&feed=atom
    • apple-touch-icon
      /static/apple-touch/wikipedia.png

Links

514