Разработчик показал проект Dungeon Proof Crawler (algae), интерактивную игру, которая учит писать доказательства в формальной логике через геймплей в стиле RPG. На сайте игра отображает экран загрузки «Lighting the torches…», скрывая механику за игровым интерфейсом подземелья. Основная идея: обучение теории доказательств через игровые головоломки вместо традиционных лекций. Создатель признал текущие ограничения проекта: искусственный интеллект плохо генерирует доказательства, система сложности игры...