Here's 2+2=4: https://twitter.com/dd4ta/status/1050433711416721408 https://twitter.com/dd4ta/status/1050433711416721408 I recently asked a related question reg

Here's 2+2=4: https://twitter.com/dd4ta/status/1050433711416721408 https://twitter.com/dd4ta/status/1050433711416721408 I recently asked a related question regarding proof maps and quantifying their similarity/distance, but didn't get any answers: https://math.stackexchange.com/questions/3482135/are-there-projects-that-visualize-how-proofs-relate-to-each-other-similar-to-wh https://math.stackexchange.com/questions/3482135/are-there-p...