ToyProofs

ToyProofs

Baixar agora do site do desenvolvedor

Licença: Código aberto
Sistema operacional:Windows Vista
Latest version:0.1
Denunciar informações incorretas

Descrição

Screenshot
Imagem do ecrã

ToyProofs 0.1 estava disponível para download no site do desenvolvedor quando verificamos. Não podemos garantir que haja um download gratuito disponível. É recomendável verificar os arquivos baixados com qualquer antivírus gratuito, pois não podemos garantir que sejam seguros. O desenvolvedor do programa é The Lurch Project. O programa fica na subcategoria Ferramentas de Ensino, que fica dentro de Educação.

Do desenvolvedor:

The first application we released, this is a simple playground environment for introducing students to the notion of formality and rigor in mathematical proofs. It comes with HTML documentation that explains the progression of lessons through three increasingly mathematical games.

Confira mais programas, tais como Quincy 2005, pdfsam ou Litle Fight 2, que podem ser relacionados a ToyProofs.

Comentários

Obrigado por classificar o programa!
Por favor, adicione um comentário explicando o raciocínio por trás do seu voto.
Seu voto:
Informação atualizada em:
Últimas atualizações
Batch File Renamer
Batch File Renamer

Gerenciadores de Arquivos

MyRecover
MyRecover

Backup & Restauração

Faça download mais fácil Faça download mais fácil
Conheça o FDM
Suporte a complementos Você pode obter complementos que baixam arquivos/vídeos de sites arbitrários.