Can Opus 4.6 do Category Theory in Lean?

Comments

Nothing yet. Say the first thing.

Sign in to join the conversation.