見出し画像

Lean4: Index(目次)

Lean4 関連記事

目次



宇宙式: 関連

2026年


2025年


コラッツ: 関連


リーマン予想: 関連



その他


2025/07/31  3:24

D.

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

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