OAI/Computability/MinUncut/Encoding/ThreeBitTest.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MinUncutGames.Foundations.Hastad.support line 16
2. def OAI.MinUncutGames.Foundations.Hastad.noiseWeight line 18
3. theorem OAI.MinUncutGames.Foundations.Hastad.noiseWeight_nonneg line 22
4. theorem OAI.MinUncutGames.Foundations.Hastad.noiseWeight_sum line 28
5. theorem OAI.MinUncutGames.Foundations.Hastad.noise_walsh line 33
6. def OAI.MinUncutGames.Foundations.Hastad.thirdQuery line 47
7. theorem OAI.MinUncutGames.Foundations.Hastad.walsh_autocorrelation line 50
8. def OAI.MinUncutGames.Foundations.Hastad.projectedCoefficient line 68
9. def OAI.MinUncutGames.Foundations.Hastad.testBias line 71
10. theorem OAI.MinUncutGames.Foundations.Hastad.testBias_fourier line 75
11. def OAI.MinUncutGames.Foundations.Hastad.testAcceptance line 103
12. theorem OAI.MinUncutGames.Foundations.Hastad.threeBit_indicator line 108
13. theorem OAI.MinUncutGames.Foundations.Hastad.testAcceptance_eq line 113