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