Hacker GitHub

← 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

Mentions per year 3 mentions · busiest year 2025 (2)
20082026
AllStoriesComments NewestTopOldest
  1. ….. https://news.ycombinator.com/item?id=43191103 : HoTT in Lean4: https://github.com/forked-from-1kasper/ground_zero
    comment by westurner · 2026-10-19 · in Categorical Models of Logics
  2. …: > /? Hott in lean4 https://www.google.com/search?q=hott+in+lean4 https://github.com/forked-from-1kasper/ground_zero : > Lean 4 HoTT Library
    comment by westurner · 2025-02-27 · in Should Type Theory (HoTT) Replace (ZFC) Set Theory as the Foundation of Math?
  3. type theory notes: https://news.ycombinator.com/item?id=42440016#42444882 HoTT in Lean 4: https://github.com/forked-from-1kasper/ground_zero
    comment by westurner · 2025-02-04 · in Homotopy Type Theory