Towards a Semantic Language of Mathematics (opens in new tab)

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