Understanding Solana's Alpenglow with Quint

Use the Quint spec we have written for the Alpenglow consensus algorithm to learn about it in an interactive way, while also learning how to use the Quint tools like we do.