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.
historique de la version
- Version Prototype posté sur 2011-02-08
Plusieurs correctifs et mises à jour - Version N/A posté sur 2011-02-08
Détails du programme
- Catégorie: Éducation > Autres
- Éditeur: hlm.sf.net
- Licence: Gratuit
- Prix: N/A
- Version: Array
- Plate-forme: windows