IndieMath – Crowdfunded automated proving for open CS/math problemsindiemath.ai1 point·nsomani··0 commentsOpen articleSaveView on HN