Proof that the FFT implements the DFT, written in Coq.
This proof was developed using Coq 8.10.1.
Compile the complex numbers library with:
coqc Complex.vThen you can proceed to load the FFT.v into CoqIDE and step through it.
-
Notifications
You must be signed in to change notification settings - Fork 0
Proof that the FFT implements the DFT, written in Coq.
License
ColonelJ/coq_fft_proof
About
Proof that the FFT implements the DFT, written in Coq.
Topics
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published