Hacker GitHub

← All repos

brettkoonce/lean4-mlir

View on GitHub ↗ ★ 48 MLIR

Lean specification of neural architectures with verified GPU codegen.

4 mentions on Hacker News by 1 person: 1 story, 3 comments · first 2026-04-10 · latest 2026-10-20

Mentions per year 4 mentions · busiest year 2026 (4)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 5
    Image Recognition with Lean 4
    story by asparagui · 2026-04-10 · 0 comments