The Math Genome Project

non-profit

https://www.themathgenome.com/

Activity Feed Request to join this org

AI & ML interests

Interactive and Automated Theorem Proving

MathGenomeProject 's datasets

None public yet