JacobAsmuth Karma 69 Created 7 months ago Recent Submissions 1. ▲ Qed: A verified web front end written in Lean4 (github.com) 3 points · 26 days ago · 0 comments All submissions on HN · View profile on HN