www.andrew.cmu.edu/user/avigad
Preview meta tags from the www.andrew.cmu.edu website.
Linked Hostnames
19- 3 links toleanprover-community.github.io
- 3 links towww.cmu.edu
- 2 links toarxiv.org
- 2 links togithub.com
- 2 links towww.cambridge.org
- 1 link toafm.episciences.org
- 1 link tocadeinc.org
- 1 link tochasenorman.com
General Meta Tags
4- titleJeremy Avigad's Home Page
- Content-Typetext/html
- descriptionJeremy Avigad's home page
- keywordsmathematical logic, proof theory, formal verification, formal methods, philosophy of mathematics, history of mathematics, foundations of mathematics
Link Tags
3- iconfavicon.ico
- stylesheethome.css
- stylesheethttps://fonts.googleapis.com/css?family=Lato:400,700,400italic
Links
26- http://arxiv.org/abs/2502.14874
- http://www.cmu.edu
- http://www.cmu.edu/dietrich/philosophy
- http://www.math.cmu.edu
- https://afm.episciences.org