note: Magazine: LEAN を設ける 2 D. 2026年1月10日 05:07 マガジン LEAN LEAN|D.|note 証明支援系関数型言語 Lean に関する記事 note.com チマチマ登録しなきゃいけないのがめんどくさい! #カイゼン (#記号が怒り表現ぽい🤣)#note 記事整理100本以上は書いているんだなあ。タグは #Lean #Lean4 #Mathlib #Mathlib4 あたりに統一して置かなければ。2026/01/10 5:05D. ダウンロード copy いいなと思ったら応援しよう! 🐺賢狼👨✈️Copilot のご飯代を、私には🍺代を。 または 宇宙式 $N+u^d=(P+u)^d$ を使って新しい発見を! チップで応援する #カイゼン #lean #Lean4 #mathlib #Mathlib4 2