I presented our paper 'Functional correctness of an optimized modular inversion algorithm' at ITP'26, part of FLoC'26 [**(paper)**](https://doi.org/10.4230/LIPIcs.ITP.2026.9) [**(slides)**](/slides/26/slides-26-itp.pdf)