cs.ru.nl/~freek/courses/tt-2019
Preview meta tags from the cs.ru.nl website.
Linked Hostnames
18- 3 links togithub.com
- 3 links towww.cs.ru.nl
- 2 links toprover.cs.ru.nl
- 2 links towww.irif.fr
- 1 link toarxiv.org
- 1 link tobrightspace.ru.nl
- 1 link todl.acm.org
- 1 link tohal.archives-ouvertes.fr
General Meta Tags
1- titleIMC010: Type Theory and Coq
Link Tags
2- shortcut icon../../pics/favicon.ico
- stylesheet../../css/courses.css
Emails
5Links
24- http://brightspace.ru.nl
- http://prover.cs.ru.nl
- http://prover.cs.ru.nl/tt19
- http://www.crocodile.org/lord/vzaliva-CoqPL19.pdf
- http://www.cs.ru.nl/~dfrumin