www.antwerp-logic-adventures.be/agda/5-references.html

Preview meta tags from the www.antwerp-logic-adventures.be website.

Linked Hostnames

5

  • General Meta Tags

    3
    • title
      Running abstract mathematical proofs as programs?
    • content-type
      text/html; charset=UTF-8
    • viewport
      initial-scale=1

  • Link Tags

    1
    • icon
      data:image/svg+xml,<svg xmlns=%22http://www.w3.org/2000/svg%22 viewBox=%220 0 100 100%22><text y=%22.9em%22 font-size=%2290%22>🧮</text></svg>

Links

8