數學基因組項目

一個旨在使更高數學民主化的市場和社交平台。現在，任何人都可以獲得策劃證據，寫新的證據或以一種領先的形式語言之一（Lean，Hol，Coq，Metamath）形式化陳述。