1 paper
Wieb Bosma, Rene Bruin, Robbert Fokkink +3
We use the automatic theorem prover Walnut to resolve various open problems from the OEIS and beyond. Specifically, we clarify the structure of sequence A260311, which concerns run…