APNOutputs/OEIS/
1140 declarations, 0 contain sorry, 0 declared as axioms; 38 files
Files
- A224515_conjecture_existence.lean 27 declarations
- A309132_conjecture_carmichael.lean 32 declarations
- A382590_conjecture_kth_prime_factor_is_eventually_periodic.lean 21 declarations
- a091669_conjecture_primitive_root.lean 16 declarations
- a325046_odd_terms_at_k_times_k_plus_1.lean 14 declarations
- oeis_103311_conjecture_0.lean 21 declarations
- oeis_108_conjecture_2.lean 31 declarations
- oeis_113254_conjecture_0.lean 11 declarations
- oeis_175386_conjecture_0.lean 27 declarations
- oeis_194806_conjecture_0.lean 27 declarations
- oeis_227582_conjecture_0.lean 39 declarations
- oeis_228143_conjecture_1.lean 77 declarations
- oeis_243106_conjecture_0.lean 7 declarations
- oeis_248802_conjecture_0.lean 16 declarations
- oeis_248802_conjecture_4.lean 78 declarations
- oeis_256012_conjecture_0.lean 7 declarations
- oeis_267581_conjecture_0.lean 13 declarations
- oeis_271591_conjecture_0.lean 31 declarations
- oeis_278070_conjecture_0.lean 2 declarations
- oeis_282779_conjecture_0.lean 6 declarations
- oeis_289411_conjecture_0.lean 14 declarations
- oeis_2897_conjecture_0.lean 40 declarations
- oeis_306424_conjecture_0.lean 18 declarations
- oeis_307865_conjecture_0.lean 12 declarations
- oeis_323557_conjecture_0.lean 15 declarations
- oeis_340737_conjecture_0.lean 54 declarations
- oeis_341254_conjecture_0.lean 17 declarations
- oeis_363347_conjecture_2.lean 69 declarations
- oeis_372761_conjecture_2.lean 47 declarations
- oeis_51293_conjecture_0.lean 57 declarations
- oeis_62567_conjecture_0.lean 35 declarations
- oeis_A028859_conjecture_1.lean 56 declarations
- oeis_A258667_conjecture_0.lean 54 declarations
- oeis_a211417_conjecture_specific.lean 31 declarations
- oeis_a237271_conjecture_2.lean 4 declarations
- oeis_a300997_finite_difference_is_one_or_two.lean 81 declarations
- oeis_a363102_conjecture_1.lean 23 declarations
- oeis_a368692_conjecture_integrality.lean 10 declarations