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
20082026
-
…in this should check out my Qed project I've been working on, a formally verified web frontend. https://github.com/JacobAsmuth/qed
comment by JacobAsmuth · 2026-06-29 · in What can you confidently guarantee about your software? -
▲ 3
Qed: A verified web front end written in Lean4story by JacobAsmuth · 2026-06-14 · 0 comments
-
…would be interested in the Lean framework I've been working on for formally verified frontends. https://github.com/JacobAsmuth/qed
comment by JacobAsmuth · 2026-06-14 · in Formal methods and the future of programming