Explore Walnut, a tool for automata-based decision procedures in number theory and combinatorics on words. Learn its applications and fundamental concepts.
