One possible avenue for verification is to have students engage with computational tools and environments. In this talk, I investigate how undergraduate students verified solutions to combinatorial problems in the context of using Python computer programming.
I show that students did not simply use a computed numerical answer when verifying, but they demonstrated a rich understanding between a computer program and a counting process. Further, I exhibit some affordances that using Python to verify solutions provided to the students.