News for hackers. Stuff that matters.
Re:Formalising Mathematics: An Introduction by zant on Sunday February 21, 2021 @02:40PM (#26216419)
I absolutely love everything about this. Specially how it can provide access to knowledge to people all around the world.

I'm currently thinking about getting a degree in Maths, and I find extremely appealing the notion of having a repo of knowledge from where to gather theorems, specially useful for newer developed areas.

There are no comments on this comment yet.