Dự án bộ gen toán học
Làm cho một người phụ nữ phụ từ nghiên cứu toán học, hoặc tài trợ cho người khác
Nổi Bật
3 Bình Chọn
Mô Tả
Một thị trường và nền tảng xã hội nhằm mục đích dân chủ hóa toán học cao hơn.Bây giờ bất cứ ai cũng có thể được trả tiền để quản lý bằng chứng, viết những tuyên bố mới hoặc chính thức hóa các tuyên bố bằng một trong các ngôn ngữ chính thức hàng đầu (Lean, Hol, Coq, Metamath).