IndieMath – Crowdfunded automated proving for open CS/math problems

(indiemath.ai)

1 points | by nsomani 12 hours ago ago