مشروع جينوم الرياضيات

السوق والمنصة الاجتماعية التي تهدف إلى الديمقراطية الرياضيات العليا.الآن يمكن لأي شخص أن يتقاضى رواتبًا لتربية البراهين أو كتابة بيانات جديدة أو إضفاء الطابع الرسمي على البيانات في واحدة من اللغات الرسمية الرائدة (Lean و Hol و CoQ و Metamath).