The Math Genome Project
Make a side-hustle from math research, or fund someone else
Featured
3 Votes
Description
A marketplace and social platform aimed at democratizing higher mathematics. Now anyone can get paid to curate proofs, write new ones or formalize statements in one of the leading formal languages (Lean, HOL, Coq, Metamath).