Mathlib
Leanで使用する数学ライブラリ
公式ページ:
Lean community
Lean 3
まで
GitHub:
leanprover-community/mathlib: Lean mathematical components library
ドキュメント:
Index - mathlib3 docs
Lean 4
用
GitHub:
leanprover-community/mathlib4: The math library of Lean 4
ドキュメント:
Index
Loogle!
Mathlib の検索ツール
Moogle: Semantic search over mathlib4
自然言語で Mathlib から定理や定義が検索できるツール
どんなものが実装
Mathematics in mathlib
確認用
Q. Lean mathlib
調査用
/pogi-log/Google.icon
Lean mathlib
/pogi-log/Google.icon
Lean mathlib