Mathlib
Named by 2 kept items in this workspace.
Search every workspace for Mathlib. It matches the name as written, so it can find other things that share it.
The items that name it 2
Community library of computer-checked mathematics maintained by @kim-em.
Shared library of formal mathematics in Lean with nearly 300,000 theorems from over 700 contributors, cited as an example of proof reuse.
All technologies in this workspace.