OAI/Computability/FourierTransform/LocalCompiler.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.PowerSaving.RAM.Bench.Hue.either line 16
2. lemma OAI.PowerSaving.RAM.Bench.Hue.gapV line 22
3. lemma OAI.PowerSaving.RAM.Bench.Hue.roofV line 27
4. abbrev OAI.PowerSaving.RAM.Bench.swab line 33
5. def OAI.PowerSaving.RAM.Bench.drum line 34
6. lemma OAI.PowerSaving.RAM.Bench.Fabric.firstCoil line 42
7. lemma OAI.PowerSaving.RAM.Bench.Fabric.refill line 46
8. lemma OAI.PowerSaving.RAM.Bench.Fabric.oneLonger line 62
9. lemma OAI.PowerSaving.RAM.Bench.Fabric.uncoil line 83
10. lemma OAI.PowerSaving.RAM.Bench.print_echo line 108
11. theorem OAI.PowerSaving.RAM.Bench.publish line 113