数学基因组项目

一个旨在使更高数学民主化的市场和社交平台。现在，任何人都可以获得策划证据，写新的证据或以一种领先的形式语言之一（Lean，Hol，Coq，Metamath）形式化陈述。