<head>
  <meta charset="utf-8">
  <meta http-equiv="X-UA-Compatible" content="IE=edge">
  <meta name="viewport" content="width=device-width, initial-scale=1">
  <link rel="stylesheet" href="/assets/main.css">
  <link rel="icon" type="image/svg+xml" href="/images/dafny-favicon.svg">
  <link rel="icon" type="image/png" href="/images/dafny-favicon.png">
  {%- seo -%}
</head>
