Matematik Genom Projesi
Matematik araştırmalarından yandan atlayın veya başka birini finanse edin
Öne Çıkan
3 Oylar
Açıklama
Daha yüksek matematiği demokratikleştirmeyi amaçlayan bir pazar ve sosyal platform.Artık herkesin kanıtları küratörlüğünü yapmak, yenilerini yazmak veya önde gelen resmi dillerden birinde (Yalın, Hol, Coq, Metamath) ifadeleri resmileştirmek için para alabilir.