@inproceedings{el25,
  author="Eberl, Manuel and Lammich, Peter",
  title="Verifying an Efficient Algorithm for Computing {B}ernoulli Numbers",
  year="2025",
  publisher="Leibniz International Proceedings in Informatics",
  booktitle="16th International Conference on Interactive Theorem Proving (ITP 2025)",
  editor="Forster, Yannick and Keller, Chantal",
  address="Dagstuhl, Germany",
  note="to appear"
}