Le projet de génome mathématique
Faire une rupture de la recherche en mathématiques ou financer quelqu'un d'autre
En vedette
3 Votes
Description
Un marché et une plate-forme sociale visant à démocratiser les mathématiques plus élevées.Maintenant, n'importe qui peut être payé pour organiser des preuves, en écrire de nouvelles ou formaliser des déclarations dans l'une des principales langues formelles (Lean, Hol, Coq, Metamath).