Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.
Homework challenge
I’ve cleaned up and pushed the files for today’s formalization.
The formalization of integers still has a major problem. See if you can spot it by next time.