Towards a Semantic Language of Mathematics

3 points by houli 9 years ago | 1 comment

saycheese 9 years ago |

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

saycheese 9 years ago |

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