Holiday protocols: Secret Santa with Quint 🎅

A fun exploration of drawing strategies for Secret Santa and their properties using Quint. Walk through specifying the game, comparing the redraw vs. reset strategies, and discover why redrawing isn't safe enough to keep Santas secret.