leodemoura.github.io

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

Linked Hostnames

12

  • General Meta Tags

    5
    • title
      Leonardo de Moura
    • content-type
      text/html; charset=utf-8
    • author
      Leonardo de Moura
    • description
      Leonardo de Moura' Homepage
    • keywords
      Z3, SMT, SAT, Leonardo, Leo, de Moura, decision procedure, Yices, theorem prover

  • Link Tags

    4
    • stylesheet
      https://leodemoura.github.io/css/syntax.css
    • stylesheet
      https://leodemoura.github.io/css/gists.css
    • stylesheet
      https://leodemoura.github.io/css/screen.css
    • stylesheet
      http://fonts.googleapis.com/css?family=Inconsolata

Emails

1

Links

33