math-comp.github.io
Preview meta tags from the math-comp.github.io website.
Linked Hostnames
7- 5 links togithub.com
- 2 links tocoq.inria.fr
- 2 links tosympa.inria.fr
- 1 link tocoq.discourse.group
- 1 link tocoq.zulipchat.com
- 1 link tomath-comp.github.io
- 1 link towww.microsoft.com
General Meta Tags
6- titleMathematical Components
- Content-Typetext/html;charset=utf-8
- viewportwidth=device-width, initial-scale=1
- authorAlessandro Bruni
- generatorOrg Mode
Emails
2- [email protected]?subject=MathComp%20related%20paper
- [email protected]?subject=SUBSCRIBE%20ssreflect
Links
13- http://coq.inria.fr
- https://coq.discourse.group
- https://coq.inria.fr/distrib/current/refman/proof-engine/ssreflect-proof-language.html
- https://coq.zulipchat.com
- https://github.com/math-comp