pit-claudel.fr/clement/faculty-applications/research.html
Preview meta tags from the pit-claudel.fr website.
Linked Hostnames
11- 10 links todoi.org
- 9 links topit-claudel.fr
- 2 links togithub.com
- 1 link tocoq.inria.fr
- 1 link todl.acm.org
- 1 link todrops.dagstuhl.de
- 1 link tohdl.handle.net
- 1 link tohol-theorem-prover.org
General Meta Tags
5- titleResearch statement
- viewportwidth=device-width, initial-scale=1
- charsetutf-8
- generatorDocutils 0.16: http://docutils.sourceforge.net/
- authorClément Pit-Claudel
Link Tags
4- stylesheetstyle.css
- stylesheetiosevka/iosevka-slab.css
- stylesheethttps://fonts.googleapis.com/css2?family=Alegreya:ital%2Cwght@0%2C400;0%2C700;1%2C400;1%2C700&display=swap
- stylesheethttps://fonts.googleapis.com/css2?family=Alegreya+Sans:wght@400;700&display=swap
Links
29- https://coq.inria.fr
- https://dl.acm.org/doi/10.1145/1993316.1993526
- https://doi.org/10.1007/978-3-030-17184-1_2
- https://doi.org/10.1007/978-3-030-51054-1_7
- https://doi.org/10.1007/978-3-319-41528-4_20