aptos.dev/en/build/smart-contracts/prover/spec-lang

Preview meta tags from the aptos.dev website.

Linked Hostnames

6

Thumbnail

  • General Meta Tags

    17
    • title
      Move Specification Language | Aptos Docs
    • charset
      utf-8
    • viewport
      width=device-width, initial-scale=1
    • generator
      Astro v5.12.2
    • generator
      Starlight v0.34.8

  • Open Graph Meta Tags

    10
    • og:title
      Move Specification Language
    • og:type
      article
    • og:url
      https://aptos.dev/build/smart-contracts/prover/spec-lang
    • og:locale
      en
    • og:description

  • Twitter Meta Tags

    5
    • twitter:card
      summary_large_image
    • twitter:site
      @aptos
    • twitter:image
      https://aptos.dev/api/og-image.png?token=eyJhbGciOiJIUzI1NiJ9.eyJ0aXRsZSI6Ik1vdmUgU3BlY2lmaWNhdGlvbiBMYW5ndWFnZSIsInNpdGVUaXRsZSI6IkFwdG9zIERvY3MifQ.tYeUEwaqnjJQXrSQj40HPSLn10GJVsOS1qVuC09vKY4
    • twitter:card
      summary_large_image
    • twitter:title
      Move Specification Language

  • Link Tags

    58
    • apple-touch-icon
      /apple-touch-icon-57x57.png
    • apple-touch-icon
      /apple-touch-icon-60x60.png
    • apple-touch-icon
      /apple-touch-icon-72x72.png
    • apple-touch-icon
      /apple-touch-icon-76x76.png
    • apple-touch-icon
      /apple-touch-icon-114x114.png

  • Website Locales

    3
    • EN country flagen
      https://aptos.dev/build/smart-contracts/prover/spec-lang
    • ES country flages
      https://aptos.dev/es/build/smart-contracts/prover/spec-lang
    • ZH country flagzh
      https://aptos.dev/zh/build/smart-contracts/prover/spec-lang

Links

382