Qed: A verified web front end written in Lean4(github.com)3 ポイント·投稿者 JacobAsmuth·29 日前·0 コメントgithub.comQed: A verified web front end written in Lean4https://github.com/JacobAsmuth/qed0 コメントコメントを投稿—