chdoc.github.io

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

Linked Hostnames

14

  • General Meta Tags

    6
    • title
      Christian Doczkal
    • content-type
      text/html; charset=utf-8
    • content-language
      en
    • author
      Christian Doczkal
    • keywords
      christian doczkal; computer science; modal logic; regular languages; automata; coq proof assistant; kleene algebra; easycrypt proof assistant; post-quantum signature algorithms

Links

25