130 citations · 228 across the 17 of their papers we have counts for
1 paper · 2 filters
Jesse Alama
The proof identity problem asks: When are two proofs the same? The question naturally occurs when one reflects on mathematical practice. The problem understandably can be seen as a…