151 citations · 151 across the 1 of their papers we have counts for
1 paper
The mathlib Community
This paper describes mathlib, a community-driven effort to build a unified library of mathematics formalized in the Lean proof assistant. Among proof assistant libraries, it is dis…