dafn25_terminal_gui DAFN25 terminal GUI final project. DUA integration See dua-template.md for more information.