O Math Proof Studio é um caderno de anotações para escrita de demonstrações matemáticas, baseado na propriedade do registro do seu raciocínio. Escreva em um editor de texto, preserve cada revisão em uma cadeia encadeada e execute verificações de protocolo determinísticas (não notas). Organize trabalhos selecionados em Pacotes de Evidências exportáveis para compartilhamento ou arquivamento.