โครงการจีโนมคณิตศาสตร์

ตลาดและแพลตฟอร์มโซเชียลมีจุดมุ่งหมายเพื่อให้เป็นประชาธิปไตยทางคณิตศาสตร์ที่สูงขึ้นตอนนี้ทุกคนสามารถได้รับเงินเพื่อพิสูจน์การสอนเขียนใหม่หรือทำงบอย่างเป็นทางการในหนึ่งในภาษาที่เป็นทางการชั้นนำ (Lean, Hol, Coq, Metamath)