@misc{indiciae6aee78c09120,
  title = {A Formally Verified Lightning Network},
  author = {Grzegorz Fabiański and Rafał Stefański and Orfeas Stefanos Thyfronitis Litos},
  year = {2025},
  url = {https://arxiv.org/abs/2503.07200},
  note = {Source identifier: 2503.07200}
}