6 Links
Hier einige (relativ ungeordnete) Links zum Thema.
eine Sammlung zum Thema
mechanisiertes Beweisen
October 17, 2000
