9 citations · 17 across the 5 of their papers we have counts for
1 paper · 1 filter
Zachary Murray
Proof assistant software has recently been used to verify proofs of major theorems, yet even the libraries of some of the most prominent proof assistants lack much of undergraduate…