A beautiful post and fascinating project on mathematical proofs. Amazing work Saúl, a very well deserved staff pick!
Thank you Tarang!! I truly appreciate your words
Lovely writeup, Saul! Glad to see another great metamathematics project come out of WSS.
Thank you for the compliement!! I really enjoyed working on this project!!
Clever definitions! Seems like the most interesting aspect of this project is exploring this sort of "similarity" relation between proofs, rather than holes themselves. I wonder what else we can tell from a proof (or group of proofs) based on the number of holes in their proof space.... Thanks for taking the time to make the post easy to follow!
I really appreciate your comment, Pietro. As you said, while searching for holes in the proof space, I discovered a very interesting phenomenon: the continuous transformation among the proofs for a theorem and, therefore, the equivalence among them.
