Hacker News new | ask | show | jobs
by 7373737373 2131 days ago
Perhaps one day this could be used to reduce distance between mathematical proofs in "proof space"? :)