{"type":"link","version":"1.0","title":"MathOverflow… · Are We Stuck with Lean? | HotDaily","description":"MathOverflow 上一位数学家提问：数学社区是否已被 Lean 证明助手锁定，以及是否有机构会支持 Metamath 等替代品。回答者包括…","url":"https://hotdaily.top/item/2b9d3c6e-8c64-458f-912e-f7a3466f1f57","provider_name":"HotDaily","provider_url":"https://hotdaily.top","thumbnail_url":"https://hotdaily.top/og.png","thumbnail_width":1200,"thumbnail_height":630}