Lean Co-pilot for LLM-human collaboration to write formal mathematical proofstwitter.com4 points·techwizrd··0 commentsOpen articleSaveView on HN