4 ms·Perhaps one day this could be used to reduce distance between mathematical proofs in "proof space"? :)by 7373737373 6y agoPerhaps one day this could be used to reduce distance between mathematical proofs in "proof space"? :)