Consortium of Digital Ecosystems for Mathematics | Join our AIMath.org community of researchers and developers at code4math.org
@code4math.org#MathSky share your novel use of computing for mathematical reasoning at our JMM special session. More info on our Zulip: code4math.zulipchat.com#narrow/chann...