RecodeX 重构消息，开发者项目Kotlean在Hacker News的Show HN板块发布，主打用Lean编程语言编写Android应用。该项目将Lean的形式化验证能力与Android应用开发结合，为开发者提供一种新的移动端开发路径。目前项目以开源形式公开，具体功能与使用方式可参见项目页面。