coq.vercel.app
Preview meta tags from the coq.vercel.app website.
Linked Hostnames
13- 4 links togithub.com
- 2 links tocoq.inria.fr
- 2 links tocoq.vercel.app
- 2 links towww.irif.fr
- 1 link tocoq.zulipchat.com
- 1 link tocs.technion.ac.il
- 1 link tomath-comp.github.io
- 1 link toproofgeneral.github.io
General Meta Tags
3- titlejsCoq – Use Coq in Your Browser
- content-typetext/html;charset=utf-8
- descriptionAn Online IDE for the Coq Theorem Prover
Link Tags
5- iconui-images/favicon.png
- stylesheetnode_modules/bootstrap/dist/css/bootstrap.min.css
- stylesheetnode_modules/katex/dist/katex.min.css
- stylesheetui-css/landing-page.css
- stylesheetui-css/kbd.css
Links
19- http://www.mines-paristech.eu
- https://coq.inria.fr
- https://coq.inria.fr/refman/practical-tools/coqide.html
- https://coq.vercel.app/ext/sf
- https://coq.vercel.app/fun/coqoban.html