Towards a Semantic Language of Mathematics
youtube.comHere'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
Here'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