Ich lerne Coq und das Buch, von dem ich lerne, (CPDT) macht schwere Verwendung von auto in Proofs. Seit ich lerne denke ich könnte es für mich hilfreich sein, genau zu sehen, was tut unter der Haube (
Ich bin neu in Linux. Kann mir jemand die folgende ausführliche Ausgabe für mein Hello-Weltprogramm erklären? Was machen die Dateien crt1.o, crti.o, crtend.o, crtbegin.o und crtn.o und lc und lgcc? An