中国科学院数学与系统科学研究院期刊网
AN INTRODUCTION TO MATHEMATICAL FORMALIZATION BASED ON LEAN
Li Chenyi, Wen Zaiwen
Mathematica Numerica Sinica . 2025, (2): 191 -213 .  DOI: 10.12286/jssx.j2024-1273