Hacker GitHub

← All repos

leanprover/lean3

View on GitHub ↗ ★ 2,152 C++ archived

Lean Theorem Prover

15 mentions on Hacker News by 12 people: 2 stories, 13 comments · first 2014-06-21 · latest 2020-11-21

Mentions per year 15 mentions · busiest year 2020 (5)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 2
    Lean Theorem Prover
    story by tosh · 2019-10-14 · 0 comments
  2. ▲ 1
    Lean Theorem Prover
    story by luu · 2014-06-21 · 0 comments