dwrensha.github.io/compfiles/all.html

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

Linked Hostnames

2

Thumbnail

  • General Meta Tags

    2
    • title
      Compfiles: Catalog of Math Problems Formalized in Lean
    • viewport
      width=device-width

  • Open Graph Meta Tags

    1
    • og:image
      https://dwrensha.github.io/compfiles/og-preview.png

  • Link Tags

    3
    • apple-touch-icon
      https://dwrensha.github.io/compfiles/apple-touch-icon.png
    • icon
      https://dwrensha.github.io/compfiles/favicon.ico
    • stylesheet
      https://dwrensha.github.io/compfiles/main.css

Links

457