← All repos

teorth/analysis

View on GitHub ↗ ★ 1,984 Lean

A Lean companion to Analysis I

4 mentions on Hacker News by 3 people: 0 stories, 4 comments · first 2025-07-30 · latest 2026-11-04