Opus 4.6 能在 Lean 中处理范畴论吗？

Stephendiehl，Stephen Diehl，软件工程师与写作者，撰写关于加密货币、函数式编程、编译器与计算机科学的深度技术文章。关注
添加评论
点赞收藏
点踩分享查看原文
评论
?
参与讨论