Advertentie
Isabelle
Isabelle is een populaire generieke THEOREM-PROVER ontwikkeld bij Cambridge University en TU München. ...
assistent bewijs Theorem Prover wiskundige formules proefassistent
Advertentie
Isabelle is een populaire generieke THEOREM-PROVER ontwikkeld bij Cambridge University en TU München. ...
assistent bewijs Theorem Prover wiskundige formules proefassistent
Over ons