
lean-lang.org
Preview meta tags from the lean-lang.org website.
General Meta Tags
3- titleProgramming Language and Theorem Prover — Lean
- charsetUTF-8
- viewportwidth=device-width, initial-scale=1
Link Tags
7- stylesheetfonts/source-code-pro-release/source-code-pro.css
- stylesheetfonts/source-serif-release/source-serif-text.css
- stylesheetstatic/style.css
- stylesheet-verso-css/tippy-border.css
- stylesheet-verso-css/glightbox.css