はてなブックマーク - GitHub - leanprover-community/mathlib4: The math library of Lean 4 https://b.hatena.ne.jp/entry/s/github.com/leanprover-community/mathlib4 You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Re... tasukuchan https://b.hatena.ne.jp/tasukuchan/20251215#bookmark-4770020130964169377 2025-12-15T08:53:50Z yuiseki https://b.hatena.ne.jp/yuiseki/20251215#bookmark-4770020130964169377 2025-12-15T00:17:20Z Lean Lean 4 masterq https://b.hatena.ne.jp/masterq/20250506#bookmark-4770020130964169377 2025-05-06T10:17:46Z lean verify math proof あとで読む