frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Bourbaki: A Unified Foundation for Mathematics [video]

https://www.youtube.com/watch?v=EQ3w-YcP4q4
2•hnlyman•1h ago