- mathlibの検索結果
- 一般ブログ
ブログ記事
- 人気記事
3件中 1-3件を表示
ナビエストークス方程式検証 1/5 その22026年09月09日しんたろのブログ~釣り好きしんたろのAI対話録~･･･oice}, \quad \texttt{Quot.sound} $$だけとしています。これらは通常の Lean/mathlib の基礎的論理公理･･･- 9月8日(火)朝のニュースまとめ2026年09月08日3分でわかるニュース|CURIOUS Journal･･･業を分担し、証明支援システム「Lean」向けにおよそ1300万行のコードを生成。これはLean向け数学ライブラリ「Mathlib」の5倍以上の規模･･･
- 数学・ITエルデシュ問題とLean(定理証明支援系)2026年02月23日とある片田舎の税理士(旧taxicount42)の限界ブログ･･･理依存型理論(CIC の変種)Calculus of Inductive Constructions数学ライブラリMathlib(巨大・急成長)標･･･
