leanprover-community.github.io
Preview meta tags from the leanprover-community.github.io website.
Linked Hostnames
10- 39 links toleanprover-community.github.io
- 4 links togithub.com
- 2 links toleanprover.github.io
- 1 link toarxiv.org
- 1 link toflypitch.github.io
- 1 link tolean-forward.github.io
- 1 link toleanprover.zulipchat.com
- 1 link tolive.lean-lang.org
General Meta Tags
3- titleLean community
- charsetutf-8
- viewportwidth=device-width, initial-scale=1, shrink-to-fit=no
Link Tags
4- searchhttps://leanprover-community.github.io//opensearch.xml
- shortcut iconhttps://leanprover-community.github.io//img/favicon.ico
- stylesheethttps://leanprover-community.github.io//css/lean.css
- stylesheethttps://fonts.googleapis.com/css2?family=Merriweather&family=Open+Sans&family=Source+Code+Pro:wght@400;600&display=swap
Links
52- https://arxiv.org/abs/1910.09336
- https://flypitch.github.io
- https://github.com/avigad/qpf
- https://github.com/cedar-policy/cedar-spec/tree/main/cedar-lean
- https://github.com/leanprover-community/mathlib4