TY  - RPRT
TI  - Using Walnut to solve problems from the OEIS
AU  - Wieb Bosma
AU  - Rene Bruin
AU  - Robbert Fokkink
AU  - Jonathan Grube
AU  - Anniek Reuijl
AU  - Thian Tromp
PY  - 2025
UR  - https://arxiv.org/abs/2503.04122
ID  - 2503.04122
ER  -