lean4

79posts

13followers

Login and follow tags to see the latest information.

TrendLike ranking last week

@etale_cohomology(Etale Cohomology)

2026-08-05

Lean 4 とは何か ── AI が数学オリンピックに挑み、フェルマーの最終定理がコードに書き写される時代の主役言語

2026-07-31

ヤコビアン予想（n ≥3）が否定的に解決を確かめる

@iroha1203(Hiroyuki Nakahata)

2026-02-20

【代数的アーキテクチャ論】第4部ソフトウェア設計パターンを圏論で分類する

2026-06-06

Lean + Mathlib + VS Code の環境を構築してみる

@autotaker1984in株式会社Works Human Intelligence

2026-07-07

Vibe Codingで商用品質を目指して失敗してきた記録と、いま試している仮説

Contents related to lean4

User Rankings

Organizations Ranking

1
株式会社Works Human Intelligence
7Likes