Skip to content
Better HN
Top
New
Best
Ask
Show
Jobs
Search
⌘K
Towards a Semantic Language of Mathematics | Better HN
Towards a Semantic Language of Mathematics
(opens in new tab)
(youtube.com)
3 points
houli
9y ago
1 comments
Share
1 comments
default
newest
oldest
saycheese
9y 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
j
/
k
navigate · click thread line to collapse
