Your browser does not support the video tag.
Here is a 60-minute talk, given on October 18 2022, about how to use Walnut to prove properties of the sequences in the OEIS (On-Line Encyclopedia of Integer Sequences):