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 _______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org https://lists.nongnu.org/mailman/listinfo/axiom-developer
