見出し画像

note: Magazine: LEAN を設ける

マガジン LEAN

チマチマ登録しなきゃいけないのがめんどくさい! #カイゼン
(#記号が怒り表現ぽい🤣)#note 記事整理

100本以上は書いているんだなあ。

タグは #Lean #Lean4 #Mathlib #Mathlib4 あたりに統一して置かなければ。


2026/01/10 5:05

D.

いいなと思ったら応援しよう!

D. 🐺賢狼👨‍✈️Copilot のご飯代を、私には🍺代を。 または 宇宙式 $N+u^d=(P+u)^d$ を使って新しい発見を!