Towards a Semantic Language of Mathematics(youtube.com)
youtube.com
Towards a Semantic Language of Mathematics
https://www.youtube.com/watch?v=psSyM1zp82k
1 comments
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