Open source repositories tagged with #lean4, ranked by health score.
A universal, atomic library of mathematics and tools for agents to compose them.
