lean4 mathlib github
約200件中 1 - 40件
人気のlean4 mathlib github一覧です。 200点以上のアイテムがあります。「Lean Analytics ―スタートアップのためのデータ解析と活用法 (THE LEAN SERIES)/アリステア・クロ-ル、ベンジャミン・ヨスコビッツ、角征典」「Lean UX 第3版 ―アジャイルなチームによるプロダクト開発」「LeanとDevOpsの科学[Accelerate] テクノロジーの戦略的活用が組織変革を加速する (impress top gear)」などが新着商品です。