Hacker GitHub

← All repos

leanprover/lean4

View on GitHub ↗ ★ 9,824 Lean

Lean 4 programming language and theorem prover

26 mentions on Hacker News by 22 people: 4 stories, 22 comments · first 2019-09-29 · latest 2026-10-27

Mentions per year 26 mentions · busiest year 2026 (7)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 5
    Kernel accepts wrong-structure projections, allowing axiom-free proof of False
    story by gopiandcode · 2026-07-28 · 0 comments
  2. ▲ 2
    Buffer Overflow in Lean_io_prim_handle_read
    story by gopiandcode · 2026-04-13 · 1 comment
  3. ▲ 5
    Lean 4, Release v4.17.0
    story by todsacerdoti · 2025-03-04 · 0 comments
  4. ▲ 130
    Lean 4.0
    story by quag · 2023-09-08 · 91 comments