Qed: A verified web front end written in Lean4(github.com)3 points·by JacobAsmuth·28 ngày trước·0 commentsgithub.comQed: A verified web front end written in Lean4https://github.com/JacobAsmuth/qed0 commentsPost comment—