HLM Proof Assistant
Licença: Grátis Tamanho do arquivo: N/A
Classificação dos utilizadores: 3.0/5 - 1 votos
Aguarde... O seu link de descarregamento está a ser verificado para conteúdo malicioso.
Poderá descarregar em 5 segundos.
Poderá descarregar em 5 segundos.
Sobre HLM Proof Assistant
O HLM é um assistente de prova para a matemática do dia-a-dia, que está atualmente a ser desenvolvido. Visa uma experiência do utilizador o mais próximo possível da prática matemática regular, e provas que são compreensíveis pelos seres humanos com pouco esforço extra.