El proyecto Math Genome
Hacer un resistente a la investigación de matemáticas o financiar a alguien más
Destacado
3 Votos
Descripción
Un mercado y una plataforma social destinada a democratizar las matemáticas más altas.Ahora, a cualquiera se le puede pagar para curar pruebas, escribir nuevas o formalizar declaraciones en uno de los idiomas formales líderes (Lean, Hol, Coq, Metamath).