HLM Proof Assistant

Licencji: Wolna ‎Rozmiar pliku: N/A
‎Ocena użytkowników: 3.0/5 - ‎1 ‎Głosów

HLM jest asystentem dowodzącym codziennej matematyki, która jest obecnie opracowywana. Ma na celu doświadczenie użytkownika jak najbliżej regularnej praktyki matematycznej, i dowody, które są zrozumiałe dla ludzi z niewielkim dodatkowym wysiłkiem.

historia wersji

  • Wersja Prototype opublikowany na 2011-02-08
    Kilka poprawek i aktualizacji
  • Wersja N/A opublikowany na 2011-02-08

Szczegóły programu