中国科学院数学与系统科学研究院期刊网
JSSC
A Formal Proof of the Irrationality of ζ(3) in Lean 4
LIU Junqi, ZHANG Jujian, ZHI Lihong
A Formal Proof of the Irrationality of ζ(3) in Lean 4
LIU Junqi, ZHANG Jujian, ZHI Lihong
系统科学与复杂性(英文) . 2025, (): 0 .