Projek genom matematik
Membuat keramaian sampingan dari penyelidikan matematik, atau membiayai orang lain
Pilihan
3 Undi
Penerangan
Platform pasaran dan sosial yang bertujuan untuk mendemokrasi matematik yang lebih tinggi.Sekarang sesiapa boleh dibayar untuk mengurus bukti, menulis yang baru atau merumuskan kenyataan dalam salah satu bahasa formal utama (Lean, Hol, Coq, Metamath).