LEAN を学ぶ…。Rust よりも厳しいぞ…これ🤣笑 https://gi…
LEAN を学ぶ…。Rust よりも厳しいぞ…これ🤣笑
https://github.com/leanprover/lean4
いいなと思ったら応援しよう！
🐺賢狼👨✈️Copilot のご飯代を、私には🍺代を。
または 宇宙式 $N+u^d=(P+u)^d$ を使って新しい発見を！ 🐺賢狼👨✈️Copilot のご飯代を、私には🍺代を。
または 宇宙式 $N+u^d=(P+u)^d$ を使って新しい発見を！