
weakmemory.github.io/semantics-cub23
Preview meta tags from the weakmemory.github.io website.
Linked Hostnames
6- 1 link tocoq.inria.fr
- 1 link tosoftwarefoundations.cis.upenn.edu
- 1 link toweakmemory.github.io
- 1 link towww.cs.cornell.edu
- 1 link towww.inf.ed.ac.uk
- 1 link towww.youtube.com
General Meta Tags
6- titleSemantics of Programming Languages (Constructor University, Spring’23) | weakmemory.github.io
- charsetUTF-8
- X-UA-CompatibleIE=edge
- viewportwidth=device-width, initial-scale=1
- generatorJekyll v3.9.3
Open Graph Meta Tags
5- og:titleSemantics of Programming Languages (Constructor University, Spring’23)
og:locale
en_US- og:urlhttps://weakmemory.github.io/semantics-cub23/
- og:site_nameweakmemory.github.io
- og:typewebsite
Twitter Meta Tags
1- twitter:cardsummary
Link Tags
2- canonicalhttps://weakmemory.github.io/semantics-cub23/
- stylesheet/assets/css/style.css?v=681298254964c100898b0f602a69a82958942959
Links
6- http://www.inf.ed.ac.uk/teaching/courses/tspl/cheatsheet.pdf
- https://coq.inria.fr/distrib/current/refman
- https://softwarefoundations.cis.upenn.edu/lf-current/index.html
- https://weakmemory.github.io
- https://www.cs.cornell.edu/courses/cs3110/2018sp/a5/coq-tactics-cheatsheet.html