Lean-zh/lean-zh.github.io

LeanDojo使用教程网页无法正常加载图片

hmyuuu opened this issue · 1 comments

hmyuuu commented

LeanDojo使用教程
此处网页的图片无法加载，似乎是因为图片过大？（2.6MB）
image

浏览器环境

Microsoft Edge 126.0.2592.87
Safari 17.6

RexWzh commented

多谢提醒，已更新图片 url。