Skip to content

Top Best Ask Show New Jobs

JacobAsmuth | Better HN

JacobAsmuth

60 karmaJoined November 18, 202543 submissions

Recent submissions

1

Qed: A verified web front end written in Lean4 (opens in new tab)

(github.com)GitHub

3JacobAsmuth10d ago0