Hacker News new | ask | show | jobs
by gnull 1658 days ago
So is it like math written in natural language but more structured and cross-referenced?
1 comments
CatsAreCool 1658 days ago
That is correct, and the structure allows for computers to better understand the meaning of the math concepts being described, which opens the door to different analyses that can be done.
link