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+

Leave a Reply

Your email address will not be published. Required fields are marked *