Qed: A verified web front end written in Lean4github.com3 points·JacobAsmuth··0 commentsOpen articleSaveView on HN