@inproceedings{eberl26cfrac,
 author = {Manuel Eberl},
 title = {Formalising Continued Fractions (With Applications to {P}ell's Equation)},
 booktitle = {Proceedings of {CICM} 2026},
 series = {CICM '26},
 year = {To appear},
 sortyear = {2026}
}