@misc{indiciae338a930f0fe7,
  title = {LoRe: A Programming Model for Verifiably Safe Local-First Software},
  author = {Julian Haas and Ragnar Mogk and Elena Yanakieva and Annette Bieniusa and Mira Mezini},
  year = {2023},
  doi = {10.1145/3633769},
  url = {https://arxiv.org/abs/2304.07133},
  note = {Source identifier: 2304.07133}
}