[isabelle] FFT.thy ?
In Sascha's and Jasmin's talk at CADE they mentioned "FFT" in their
benchmarks, i.e. fast fourier transform as they confirmed in personal
From the most recent clone 01d6ab227069 I get nothing by
Isabelle/src$ find -name "F*.thy"
Isabelle/src$ grep -r "ourier" *
I'd be grateful for another hint,
This archive was generated by a fusion of
Pipermail (Mailman edition) and