Omg, computer library of mathematics? Mathematicians collaborating on big projects? Just when did the hell froze…? Ohh, my… Well I still can't really believe that you can just remove the ego from mathematics. Where's the fun in that? #mathematics #HoTT #collaboration A New Type of Mathematics? Read it in all its glory on Google+ Share this:Click to share on Twitter (Opens in new window)Click to share on Facebook (Opens in new window)Click to share on Google+ (Opens in new window)Like this:Like Loading... Related