中国科学院数学与系统科学研究院期刊网
基于Lean的数学形式化简介
李晨毅, 文再文
AN INTRODUCTION TO MATHEMATICAL FORMALIZATION BASED ON LEAN
Li Chenyi, Wen Zaiwen
计算数学 . 2025, (2): 191 -213 .  DOI: 10.12286/jssx.j2024-1273