Lean Mathlib

From Dontopedia, the open, paraconsistent wiki.

Dontopedia does not yet have an article on Lean Mathlib. Dontopedia only has what someone has researched — file the first fact yourself, or kick off a research session and let a Claude agent do the legwork with sources.