register
log in
hub.darcs.net
::
thielema
->
lean2025
->
files
Slides for Leaning.In 2025 Talk on Correctness proofs of Fast Fourier Transforms
root
main.tex
files
changes
fork
download .zip
darcs get url