← All repos

rzrn/ground_zero

View on GitHub ↗ ★ 87 Lean archived

Ground Zero: Lean 4 HoTT Library

3 mentions on Hacker News by 1 person: 0 stories, 3 comments · first 2025-02-04 · latest 2026-10-19