Formalizing a ring theorem with Lean 4 and Claude

Johndcook，John D. Cook，数学与计算机科学顾问的博客，分享关于数学、统计、编程与科学计算的文章。关注
添加评论
点赞收藏
点踩分享查看原文
评论
?
参与讨论