HLM Proof Assistant
Licencia: Gratis Tamaño del archivo: N/A
Calificación de usuarios: 3.0/5 - 1 Votos
Espera... El enlace de descarga se está verificando para ver si hay contenido malintencionado.
Podrás descargarlo en 5 segundos.
Podrás descargarlo en 5 segundos.
acerca de HLM Proof Assistant
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.