Iteracja jest rzeczą ludzką, rekursja boską
Tags: pseudokod, formalna weryfikacja, TANTRIX Discovery, węzeł celtycki, podział prostokąta, logika Hoare'a, najsłabszy warunek wstępny
