数学ゲノムプロジェクト

より高い数学を民主化することを目的とした市場とソーシャルプラットフォーム。今では、誰でも、主要な正式な言語（Lean、Hol、Coq、Metamath）のいずれかで、証拠をキュレートしたり、新しいものを書いたり、声明を正式化することができます。