dominicpm.github.io

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

Linked Hostnames

4

  • General Meta Tags

    5
    • title
      Dominic Mulligan's homepage
    • author
      Dominic Mulligan
    • charset
      utf-8
    • keywords
      formal methods, confidential computing, Rust, Isabelle/HOL
    • viewport
      width=device-width, initial-scale=1.0

  • Link Tags

    4
    • preconnect
      https://fonts.googleapis.com
    • preconnect
      https://fonts.gstatic.com
    • stylesheet
      main.css
    • stylesheet
      https://fonts.googleapis.com/css2?family=Cormorant+Garamond:ital,wght@0,300;0,400;0,500;0,600;0,700;1,300;1,400;1,500;1,600;1,700&family=Montserrat:ital,wght@0,100..900;1,100..900&family=Source+Code+Pro:ital,wght@0,200..900;1,200..900&display=swap

Links

4