HLM Proof Assistant

Licencia: Gratis ‎Tamaño del archivo: N/A
‎Calificación de usuarios: 3.0/5 - ‎1 ‎Votos

HLM es un asistente de prueba para las matemáticas cotidianas, que actualmente se está desarrollando. Su objetivo es una experiencia de usuario lo más cerca posible de la práctica matemática regular, y pruebas que son comprensibles para los seres humanos con poco esfuerzo adicional.

historial de versiones

  • Versión Prototype publicado en 2011-02-08
    Varias correcciones y actualizaciones
  • Versión N/A publicado en 2011-02-08

Detalles del programa