deducteam.github.io
Preview meta tags from the deducteam.github.io website.
Linked Hostnames
14- 7 links todeducteam.gforge.inria.fr
- 6 links togithub.com
- 1 link toarxiv.org
- 1 link tocoq.inria.fr
- 1 link toen.wikipedia.org
- 1 link togeocoq.github.io
- 1 link tohal.inria.fr
- 1 link tolmcs.episciences.org
General Meta Tags
2- titleDedukti - a Logical Framework
- charsetutf-8
Link Tags
2- iconimg/favicon.png
- stylesheetstyle/style.css
Links
25- http://deducteam.gforge.inria.fr
- http://deducteam.gforge.inria.fr/focalide
- http://deducteam.gforge.inria.fr/holide
- http://deducteam.gforge.inria.fr/krajono
- http://deducteam.gforge.inria.fr/lib/iProverModulo_Dedukti_library.tar