【文件属性】:
文件名称:agda-fft:在Agda中验证的FFT
文件大小:2KB
文件格式:ZIP
更新时间:2021-03-12 15:30:58
Agda
致力于在Agda中验证FFT。
主要参考资料:Venanzio Carette于2001年。
【文件预览】:
agda-fft-main
----FFT.agda-lib(46B)
----readme.md(198B)
----FFT.agda(3KB)
----.gitignore(8B)