Eintrag kommentierenEintrag bewerten
Dieser Eintrag wurde im Schnitt mit 0 von 5 Punkten bewertet
Glossareintrag
NuPrl
Glossar:25900
Externe Quellen zum Thema NEU: Externe Quellen zum Thema suchen 
Erläuterung
Das von R. Constable an der Cornell University entwickelte und auf Martin-Löfs Typentheorie aufbauende NUPRL-System hat das Ziel, mathematisches Beweisen zu erleichtern. Jeder vom Benutzer eingegebene Beweisschritt wird formal auf seine Korrektheit hin überprüft.
Externe Quellen zum Thema NEU: Externe Quellen zum Thema suchen 
 Eintrag kommentieren 
 Eintrag bewerten 
Zu dieser Seite wurden noch keine Kommentare oder Bewertungen abgegeben.
 
Zum Seitenanfang Top Drucken Impressum AGB
Home

VSEK ©2001-2018