Hacker GitHub

← All repos

leanprover-community/mathlib4

View on GitHub ↗ ★ 4,415 Lean

The math library of Lean 4

20 mentions on Hacker News by 18 people: 1 story, 19 comments · first 2023-09-08 · latest 2026-10-07

Mentions per year 20 mentions · busiest year 2023 (8)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 83
    Lean theorem prover mathlib
    story by downboots · 2025-12-14 · 4 comments