Hacker GitHub

← All repos

JacobAsmuth/qed

View on GitHub ↗ ★ 27 Lean

A formally-verified web frontend framework in Lean 4

3 mentions on Hacker News by 1 person: 1 story, 2 comments · first 2026-06-14 · latest 2026-06-29

Mentions per year 3 mentions · busiest year 2026 (3)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 3
    Qed: A verified web front end written in Lean4
    story by JacobAsmuth · 2026-06-14 · 0 comments