HN
Hacker News
Top
New
Best
Ask
Show
Jobs
JacobAsmuth
171 karma · joined November 18, 2025
submissions
comments
Qed: A verified web front end written in Lean4
github.com
·
3 pts
·
JacobAsmuth
·
0