수학 게놈 프로젝트

수학 연구에서 간단하게 만들거나 다른 사람에게 자금을 지원하십시오.

더 높은 수학을 민주화하는 것을 목표로하는 시장 및 소셜 플랫폼.이제 누구나 증명을 선별하거나 새로운 증거를 작성하거나 주요 공식 언어 중 하나 (Lean, Hol, CoQ, Metamath)로 진술을 공식화 할 수 있습니다.