Zwei Tage gebraucht um zu beweisen, dass eine zehnzeilige while-Schleife genau das tut, was man erahnen würde.

Follow

Der Beweis selbst umfasst 91 Zeilen, wobei davon die loc der Hilfstheoreme nicht mitgerechnet sind.

Sign in to participate in the conversation
Mastodon

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!