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