O projeto do genoma da matemática
Faça uma agenda lateral da pesquisa de matemática ou financie outra pessoa
Destaque
3 Votos
Descrição
Um mercado e uma plataforma social destinados a democratizar a matemática superior.Agora, qualquer um pode ser pago para curar provas, escrever novos ou formalizar declarações em um dos principais idiomas formais (Lean, Hol, Coq, Metamath).