mathlib lean library
約200件中 41 - 80件
人気のmathlib lean library一覧です。 200点以上のアイテムがあります。「伊勢幹夫 竹内勝 「リー群論」 岩波講座基礎数学 第二版」「300+ Mathematical Pattern Puzzles: Number Pattern Recognition & Reasoning (Improve Your Math Fluency)」「直感 Deep Learning ―Python×Kerasでアイデアを形にするレシピ」などが新着商品です。