Can Opus 4.6 Do Category Theory in Lean?

(stephendiehl.com) by macleginn | Feb 17, 2026 | 0 comments on HN