Can Opus 4.6 Do Category Theory in Lean?(stephendiehl.com)4 points·by macleginn·قبل 5 أشهر·0 commentsstephendiehl.comCan Opus 4.6 Do Category Theory in Lean?https://www.stephendiehl.com/posts/lean-opus-blog/0 commentsPost comment—