HLM Proof Assistant
Licence: Gratuit Taille du fichier: N/A
Note des utilisateurs: 3.0/5 - 1 Votes
Veuillez patienter... Votre lien de téléchargement est en cours de vérification pour le contenu malveillant.
Vous pourrez télécharger en 5 secondes.
Vous pourrez télécharger en 5 secondes.
Sur HLM Proof Assistant
HLM est un assistant de preuve pour les mathématiques de tous les jours, qui est actuellement en cours de développement. Il vise une expérience utilisateur aussi proche que possible de la pratique mathématique régulière, et des preuves qui sont compréhensibles par les humains avec peu d’effort supplémentaire.