Can Opus 4.6 Do Category Theory in Lean?stephendiehl.com4 points·macleginn··0 commentsOpen articleSaveView on HN