HLM is een proof assistant voor alledaagse wiskunde, die momenteel wordt ontwikkeld. Het streeft naar een gebruikerservaring zo dicht mogelijk bij de reguliere wiskundige praktijk, en bewijzen die begrijpelijk zijn door de mens met weinig extra inspanning.
versiegeschiedenis
- Versie Prototype geplaatst op 2011-02-08
Verschillende oplossingen en updates - Versie N/A geplaatst op 2011-02-08
Programmadetails
- Categorie: Onderwijs > Andere
- Publisher: hlm.sf.net
- Licentie: Gratis
- Prijs: N/A
- Versie: Array
- Platform: windows