【VOICEROID数学】用 Lean 来证明数学定理!【结月缘的 Lean 游玩讲座 #1】
发布人