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!!
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.
-- you have earned Featured Contributor Badge Your exceptional post has been selected for our editorial column Staff Picks http://wolfr.am/StaffPicks and Your Profile is now distinguished by a Featured Contributor Badge and is displayed on the Featured Contributor Board. Thank you!
I am very grateful to you Wolfram Editorial Board, it is an honor to receive this recognition!!
