HLM Proof Assistant

Lisans: Ücret -siz ‎Dosya boyutu: N/A
‎Kullanıcı Derecelendirmesi: 3.0/5 - ‎1 ‎Oy

HLM şu anda geliştirilmekte olan günlük matematik için bir kanıt asistanıdır. Bu düzenli matematiksel uygulama mümkün olduğunca yakın bir kullanıcı deneyimi ve çok az ekstra çaba ile insanlar tarafından anlaşılabilir kanıtları amaçlamaktadır.

sürüm geçmişi

  • Sürüm Prototype tarihinde gönderildi 2011-02-08
    Çeşitli düzeltmeler ve güncelleştirmeler
  • Sürüm N/A tarihinde gönderildi 2011-02-08

Program Detayları