Can Opus 4.6 Do Category Theory in Lean?(stephendiehl.com)4 points·by macleginn·vor 5 Monaten·0 commentsstephendiehl.comCan Opus 4.6 Do Category Theory in Lean?https://www.stephendiehl.com/posts/lean-opus-blog/0 commentsPost comment—