Na tradição do programa de Hilbert criamos uma base de conhecimento matemático formal (checkável por um verificador de provas) mas legível (como um manual comum do LaTeX) que é livremente acessível dentro da internet. A lógica e a teoria dos cenários começaram.
história da versão
- Versão 0.04.02 postado em 2011-05-01
- Versão 0.04.11 postado em 2011-03-05
Várias correções e atualizações
Detalhes do programa
- Categoria: Educação > Outros
- Editor: www.qedeq.org
- Licença: Grátis
- Preço: N/A
- Versão: 0.04.02
- Plataforma: linux