Da, L., & Kleppmann, M. (2024). A Framework for Designing and Verifying Byzantine Fault Tolerant CRDTs (Version 0.0.1) [Computer software]. https://github.com/LiangrunDa/bft-crdt-isabelle