10 citations · 23 across the 9 of their papers we have counts for
1 paper · 2 filters
Noah Gießing, Ankit Satpute, Hamid Rahkooy +2
Formalized mathematics libraries such as Lean's \texttt{mathlib} provide machine-verifiable representations of mathematical knowledge, including definitions, theorems, and their re…