GitHub repository: m4lvin/gossip
Primary language: Haskell
Description: 🗣️📞 Explicit Epistemic Model Checking for Dynamic Gossip