HLM Proof Assistant
Licentie: Gratis Bestandsgrootte: N/A
Gebruikersbeoordeling: 3.0/5 - 1 Stemmen
Een ogenblik geduld... Uw downloadlink wordt geverifieerd op schadelijke inhoud.
Je het binnen 5 seconden downloaden.
Je het binnen 5 seconden downloaden.
Over HLM Proof Assistant
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.