HLM Proof Assistant

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 3.0/5 - ‎1 ‎Voti

HLM è un assistente di prova per la matematica di tutti i giorni, che è attualmente in fase di sviluppo. Mira a un'esperienza utente il più vicino possibile alla normale pratica matematica e prove comprensibili per gli esseri umani con poco sforzo in più.

cronologia delle versioni

  • Versione Prototype pubblicato il 2011-02-08
    Diverse correzioni e aggiornamenti
  • Versione N/A pubblicato il 2011-02-08

Dettagli del programma