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