TheoryViz: A Visualizer Tool for Theory of Computing Concepts. - Lillian Baker; Sierra Zoe Bennett-Manke; Sebastian Neumann; Ian Njuguna; Ryan E. Dougherty (SIGCSE (2), 2025)