[Axiom-developer] Towards a Semantic Language of Mathematics

[Tim Daly]

http://blog.wolfram.com/2016/12/22/the-semantic-representation-of-pure-mathematics/

This was a workshop I just discovered. There is a video on that site that I
highly recommend. The page that links to the talks does not (yet?) exist
unfortunately.

Apparently Axiom is "on the path" by trying to combine symbolic math with proof
technology.

Tim