cslib.io

HTML metadata

Title

A Focused Effort on Formalizing Computer Science in Lean

Description

A Focused Effort on Formalizing Computer Science in Lean

Language

en

Open Graph

url

https://cs-lean.github.io

title

CSLib

site name

CSLib

Technology

CDN

Fastly

Server

GitHub.com

CMS

Gatsby

Fonts

• Google Fonts

Third-party hosts loaded (4)

• cdn.jsdelivr.net×4
• cs-lean.github.io×2
• fonts.googleapis.com×2
• fonts.gstatic.com×1

Social

• github

Certificate (current)

Full certificate history on crt.sh ↗

Links to (9)

• lean-lang.org×5
• mathlib-initiative.org×2
• github.com×2
• renaissancephilanthropy.org×2
• arxiv.org×2
• github.io×2
• amazon.com×2
• visualstudio.com×2
• zulipchat.com×2

Linked from (1)

• lean-lang.org×3