Dark Hacker News
new
|
best
|
ask
|
show
|
jobs
JacobAsmuth | Dark Hacker News
user:
JacobAsmuth
created:
November 18, 2025
karma:
63
submissions
comments
1.
Qed: A verified web front end written in Lean4
(github.com)
3 points
by
JacobAsmuth
18 days ago
|
0 comments