Can Opus 4.6 Do Category Theory in Lean?

Can Opus 4.6 Do Category Theory in Lean? | Better HN

Can Opus 4.6 Do Category Theory in Lean? (opens in new tab)