@misc{indiciaeb848e6db3f2f,
  title = {IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus},
  author = {Elliot Jones and William Knottenbelt},
  year = {2026},
  url = {https://arxiv.org/abs/2606.18098},
  note = {Source identifier: 2606.18098}
}