📩 推荐给朋友

向朋友推荐 A Critique of OpenMath and Thoughts on Encoding Mathematics