FormalConjectures/OEIS/
2012 declarations, 319 contain sorry, 0 declared as axioms; 228 files
Files
- 100434.lean 17 declarations
- 100474.lean 18 declarations
- 100475.lean 13 declarations
- 100478.lean 8 declarations
- 100800.lean 10 declarations
- 101779.lean 8 declarations
- 102371.lean 7 declarations
- 102722.lean 12 declarations
- 102847.lean 10 declarations
- 103151.lean 7 declarations
- 103311.lean 7 declarations
- 103425.lean 10 declarations
- 103662.lean 8 declarations
- 103885.lean 11 declarations
- 104320.lean 7 declarations
- 105020.lean 9 declarations
- 105033.lean 6 declarations
- 105210.lean 12 declarations
- 105565.lean 11 declarations
- 105720.lean 10 declarations
- 105751.lean 9 declarations
- 105801.lean 7 declarations
- 107247.lean 9 declarations
- 108.lean 11 declarations
- 108081.lean 12 declarations
- 108129.lean 7 declarations
- 108211.lean 7 declarations
- 108301.lean 8 declarations
- 108306.lean 12 declarations
- 108569.lean 9 declarations
- 108864.lean 10 declarations
- 108866.lean 8 declarations
- 109074.lean 19 declarations
- 109227.lean 7 declarations
- 109671.lean 7 declarations
- 109845.lean 7 declarations
- 109905.lean 7 declarations
- 109908.lean 7 declarations
- 109909.lean 7 declarations
- 110475.lean 8 declarations
- 110566.lean 8 declarations
- 110835.lean 5 declarations
- 110854.lean 12 declarations
- 111114.lean 6 declarations
- 111291.lean 11 declarations
- 112521.lean 9 declarations
- 112970.lean 10 declarations
- 113010.lean 7 declarations
- 113019.lean 7 declarations
- 113213.lean 7 declarations
- 113250.lean 7 declarations
- 113252.lean 7 declarations
- 113254.lean 7 declarations
- 113255.lean 7 declarations
- 113257.lean 8 declarations
- 113258.lean 6 declarations
- 113271.lean 10 declarations
- 113609.lean 9 declarations
- 114137.lean 9 declarations
- 114216.lean 8 declarations
- 114362.lean 8 declarations
- 1146.lean 8 declarations
- 114831.lean 6 declarations
- 115257.lean 8 declarations
- 115366.lean 6 declarations
- 11545.lean 7 declarations
- 1157.lean 7 declarations
- 116150.lean 7 declarations
- 117027.lean 16 declarations
- 117531.lean 7 declarations
- 117545.lean 6 declarations
- 119563.lean 7 declarations
- 119591.lean 9 declarations
- 120424.lean 9 declarations
- 1223.lean 7 declarations
- 129365.lean 11 declarations
- 130911.lean 8 declarations
- 135508.lean 8 declarations
- 1359.lean 7 declarations
- 141057.lean 11 declarations
- 145355.lean 6 declarations
- 153330.lean 13 declarations
- 157225.lean 8 declarations
- 157237.lean 8 declarations
- 159829.lean 7 declarations
- 160324.lean 13 declarations
- 166944.lean 10 declarations
- 167604.lean 8 declarations
- 167918.lean 26 declarations
- 175386.lean 7 declarations
- 176477.lean 5 declarations
- 17666.lean 7 declarations
- 179524.lean 11 declarations
- 179537.lean 10 declarations
- 180017.lean 7 declarations
- 181546.lean 10 declarations
- 1818.lean 9 declarations
- 182126.lean 11 declarations
- 182510.lean 10 declarations
- 185150.lean 7 declarations
- 185895.lean 13 declarations
- 194806.lean 8 declarations
- 211417.lean 15 declarations
- 22030.lean 8 declarations
- 224.lean 7 declarations
- 224515.lean 8 declarations
- 227582.lean 9 declarations
- 228143.lean 9 declarations
- 228828.lean 5 declarations
- 231201.lean 8 declarations
- 232174.lean 8 declarations
- 2326.lean 8 declarations
- 237271.lean 17 declarations
- 239957.lean 3 declarations
- 2407.lean 8 declarations
- 2426.lean 7 declarations
- 243106.lean 7 declarations
- 24356.lean 6 declarations
- 2454.lean 7 declarations
- 248802.lean 11 declarations
- 256012.lean 7 declarations
- 258667.lean 12 declarations
- 260194.lean 12 declarations
- 267581.lean 11 declarations
- 271591.lean 9 declarations
- 278070.lean 7 declarations
- 280831.lean 9 declarations
- 281976.lean 11 declarations
- 282779.lean 8 declarations
- 287616.lean 7 declarations
- 28859.lean 7 declarations
- 289411.lean 7 declarations
- 2897.lean 10 declarations
- 300997.lean 7 declarations
- 303639.lean 9 declarations
- 303656.lean 8 declarations
- 306424.lean 15 declarations
- 306477.lean 8 declarations
- 307865.lean 8 declarations
- 308734.lean 7 declarations
- 309132.lean 9 declarations
- 3161.lean 8 declarations
- 3162.lean 9 declarations
- 317940.lean 17 declarations
- 323557.lean 7 declarations
- 325046.lean 7 declarations
- 340737.lean 8 declarations
- 341254.lean 9 declarations
- 34693.lean 11 declarations
- 34694.lean 7 declarations
- 357513.lean 11 declarations
- 358684.lean 13 declarations
- 3625.lean 7 declarations
- 363102.lean 8 declarations
- 363347.lean 8 declarations
- 368692.lean 7 declarations
- 37274.lean 10 declarations
- 372761.lean 8 declarations
- 38098.lean 8 declarations
- 38107.lean 8 declarations
- 382590.lean 11 declarations
- 38552.lean 10 declarations
- 38771.lean 8 declarations
- 40.lean 7 declarations
- 41.lean 8 declarations
- 4290.lean 6 declarations
- 46969.lean 12 declarations
- 48153.lean 7 declarations
- 49473.lean 12 declarations
- 51293.lean 8 declarations
- 5153.lean 7 declarations
- 51903.lean 9 declarations
- 5258.lean 8 declarations
- 52709.lean 13 declarations
- 53000.lean 7 declarations
- 53067.lean 9 declarations
- 53175.lean 9 declarations
- 55487.lean 9 declarations
- 56777.lean 9 declarations
- 60841.lean 10 declarations
- 60957.lean 9 declarations
- 62567.lean 10 declarations
- 63880.lean 19 declarations
- 64169.lean 8 declarations
- 64313.lean 8 declarations
- 6697.lean 12 declarations
- 67599.lean 8 declarations
- 67720.lean 9 declarations
- 67836.lean 17 declarations
- 67857.lean 7 declarations
- 69004.lean 10 declarations
- 69922.lean 7 declarations
- 69923.lean 6 declarations
- 7013.lean 7 declarations
- 70518.lean 6 declarations
- 70823.lean 9 declarations
- 71524.lean 9 declarations
- 71532.lean 10 declarations
- 72200.lean 7 declarations
- 7406.lean 7 declarations
- 7468.lean 6 declarations
- 76141.lean 9 declarations
- 76495.lean 7 declarations
- 77408.lean 10 declarations
- 78590.lean 7 declarations
- 78680.lean 7 declarations
- 78729.lean 7 declarations
- 7918.lean 8 declarations
- 79727.lean 10 declarations
- 80101.lean 6 declarations
- 80170.lean 8 declarations
- 80326.lean 8 declarations
- 81091.lean 8 declarations
- 83753.lean 8 declarations
- 84046.lean 6 declarations
- 86766.lean 9 declarations
- 87207.lean 7 declarations
- 87455.lean 9 declarations
- 87571.lean 10 declarations
- 87719.lean 8 declarations
- 89026.lean 7 declarations
- 91591.lean 7 declarations
- 91669.lean 7 declarations
- 92243.lean 11 declarations
- 93456.lean 7 declarations
- 93818.lean 7 declarations
- 945.lean 11 declarations
- 96535.lean 7 declarations