5 ms·
Towards a Semantic Language of Mathematics
- saycheese 10y agoHere's the main post that links to the video and covers at a high level what they're doing: https://news.ycombinator.com/item?id=13611326 https://news.ycombinator.com/item?id=13611326