Qed: A verified web front end written in Lean4(github.com)3 points·by JacobAsmuth·il y a 27 jours·0 commentsgithub.comQed: A verified web front end written in Lean4https://github.com/JacobAsmuth/qed0 commentsPost comment—