Dafny programs are distributed in exercises, structures and algorithms. util contains the auxiliary program's source.

Los programas en Dafny están organizados en los directorios exercises, structures y algorithms. util contiene el código de los programas auxiliares.