Advertentie
Isabelle
Isabelle - Generic Proof Assistant die wiskundige formules in een formele taal kan worden uitgedrukt ...
assistent proof assistant bewijs formaliseren wiskundig bewijs formele verificatie
Advertentie
Isabelle - Generic Proof Assistant die wiskundige formules in een formele taal kan worden uitgedrukt ...
assistent proof assistant bewijs formaliseren wiskundig bewijs formele verificatie
Over ons