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