该项目旨在研究形态发育如何影响进化过程，结合发育生物学与进化理论，利用计算模型模拟进化场景，深入理解形态在进化中的角色。
LeanDojo 是一个基于检索增强的语言模型用于定理证明的项目，具备全自动化的数学推理能力，并可与现有的数学工具和资源集成。
