A Formal Proof of The Chandy--Lamport Distributed Snapshot Algorithm by Ben Fiedler 📧 and Dmitriy Traytel 🌐 Jul 21