OAI/Computability/FourierTransform/FourierCompilation.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.PowerSaving.RAM.Bench.inspect line 15
2. lemma OAI.PowerSaving.RAM.Bench.Digit.two line 20
3. lemma OAI.PowerSaving.RAM.Bench.Makes.casting line 34
4. lemma OAI.PowerSaving.RAM.Bench.Makes.expZ line 40
5. lemma OAI.PowerSaving.RAM.Bench.Makes.gridSum line 48
6. lemma OAI.PowerSaving.RAM.Bench.Makes.gridProd line 57
7. lemma OAI.PowerSaving.RAM.Bench.Makes.pick line 66