Created on July 26, 2026
2026
Attending FLoC 2026 with the rest of the Automated Reasoning Group gang.