RecodeX 重构消息，《Towards Data Science》发布面向程序员的Lean编程语言入门教程，介绍其数学语法与语义。