apalache 5 ChonkyBFT: Consensus Protocol of ZKsync (paper) Mar 19, 2025 Invited talk at VSTTE 2024 Oct 15, 2024 Tutorial at TLA+ Community Meeting 2024 Sep 10, 2024 Apalache has moved Aug 13, 2024 Quint: Another look at the logic of TLA+ Dec 31, 2023