Can Opus 4.6 Do Category Theory in Lean?https://www.stephendiehl.com/posts/lean-opus-blog/ by macleginn • 5 months ago 4 0 5 months agoSTstephendiehl.com