43 citations · 179 across the 19 of their papers we have counts for
1 paper · 1 filter
Shuze Chen, Kunal Marwaha, Xiaoyang Lu +2
Proof assistants such as Lean 4 promise the paradigm of formally verified mathematics, but large-scale formalization projects have faced major barriers to entry, including the need…