TY  - RPRT
TI  - Revisiting the Fast Fourier Transform in Rocq
AU  - Laurent Théry
PY  - 2025
UR  - https://arxiv.org/abs/2210.05225
ID  - 2210.05225
ER  -