agda-fft:在Agda中验证的FFT

【文件属性】：

文件名称：agda-fft:在Agda中验证的FFT

文件大小：2KB

文件格式：ZIP

更新时间：2024-04-01 09:17:38

Agda

致力于在Agda中验证FFT。 主要参考资料：Venanzio Carette于2001年。

【文件预览】：
agda-fft-main
----FFT.agda-lib(46B)
----readme.md(198B)
----FFT.agda(3KB)
----.gitignore(8B)