本频道为Lean授权代为同步Lean群文件的频道。 本频道关联消息频道：https://t.me/LeanSaidWTF Lean的群：https://t.me/joinchat/JhKgAA6Hx1uiihA7RaTW1w