danilafe.com/blog/00_aoc_coq
Preview meta tags from the danilafe.com website.
Linked Hostnames
7- 11 links todanilafe.com
- 10 links todev.danilafe.com
- 2 links tosoftwarefoundations.cis.upenn.edu
- 1 link toadventofcode.com
- 1 link togithub.com
- 1 link towiki.haskell.org
- 1 link towww.geeksforgeeks.org
General Meta Tags
6- titleAdvent of Code in Coq - Day 1
- Content-Typetext/html; charset=UTF-8
- charsetutf-8
- viewportwidth=device-width, initial-scale=1
- theme-color#1dc868
Link Tags
9- alternatehttps://danilafe.com/index.xml
- alternatehttps://danilafe.com/index.toml
- iconhttps://danilafe.com/img/favicon.png
- preload/normalize/normalize.css
- preload/katex/katex.min.css
Emails
1Links
27- https://adventofcode.com
- https://danilafe.com
- https://danilafe.com/Resume-Danila-Fedorin.pdf
- https://danilafe.com/about
- https://danilafe.com/blog