12 citations · 21 across the 9 of their papers we have counts for
1 paper · 2 filters
Jin Xing Lim, Barnabé Monnot, Shaowei Lin +1
Formalization of mathematics is the process of digitizing mathematical knowledge, which allows for formal proof verification as well as efficient semantic searches. Given the large…