www.kframework.org

Preview meta tags from the www.kframework.org website.

Linked Hostnames

13

  • General Meta Tags

    7
    • title
      K | Runtime Verification Inc
    • charset
      utf-8
    • viewport
      width=device-width, initial-scale=1.0, maximum-scale=1.0
    • description
      Design and implement your programming language and software analysis tools with mathematical rigor.
    • keywords
      runtime, verification, rv, k

  • Link Tags

    6
    • canonical
      https://kframework.org/
    • icon
      ./assets/img/favicon.ico
    • stylesheet
      https://fonts.googleapis.com/css?family=Nunito:300,400,600,700,800
    • stylesheet
      https://fonts.googleapis.com/css?family=Lora:400i
    • stylesheet
      https://cdn.jsdelivr.net/npm/@fortawesome/[email protected]/css/all.min.css

Links

19