teorth / analysis

git clone https://github.com/teorth/analysis.git

A Lean companion to Analysis I

—

stars, 24h

—

stars, 7 days

—

stars, 30 days

2.0k

★ total

275

forks · 5 open issues

Star history starts 2026-10-20; the chart appears after the second daily snapshot.

LanguageLean

LicenseApache-2.0

Created2025-05-31 (1y ago)

Last push3d ago

OwnerUser

Links

GitHub: github.com/teorth/analysis
Homepage: https://teorth.github.io/analysis/
Releases · Issues · Hacker News mentions