I indiemath.ai IndieMath – Crowdfunded automated proving for open CS/math problems 1 points nsomani 3 months ago 0 comments