/coq_fft_proof

Proof that the FFT implements the DFT, written in Coq.

Primary LanguageCoqThe UnlicenseUnlicense

Watchers