开发工具

facebookresearch/atlas-lean 正式发布新的软件版本，版本名称或标识为 Version 1 - Formalization of existing Textbooks

GitHub 官方发布记录显示，facebookresearch/atlas-lean 已正式发布软件版本 Version 1 - Formalization of existing Textbooks。具体变更以原始发布页面为准。当前摘要基于 1 条公开证据。

多来源证据

事件时间线

1. 8月24日 23:03
   GitHub AI 组织监控
   facebookresearch/atlas-lean 正式发布新的软件版本，版本名称或标识为 Version 1 - Formalization of existing Textbooks