Can Opus 4.6 Do Category Theory in Lean?

(stephendiehl.com) by ibobev | Feb 16, 2026 | 0 comments on HN