मैथ जीनोम प्रोजेक्ट

एक बाज़ार और सामाजिक मंच का उद्देश्य उच्च गणित का लोकतंत्रीकरण करना है।अब किसी को भी सबूतों को क्यूरेट करने, नए लिखने या प्रमुख औपचारिक भाषाओं (लीन, होल, कोक, मेटामथ) में से एक में बयानों को औपचारिक रूप देने के लिए भुगतान किया जा सकता है।