Jeffrey Shallit: Experimental Combinatorics on Words Using the Walnut Prover

Round-2 held this mixed channel back; round 3 picked titles that plainly name a lecture/talk on a subject; oEmbed verified.

A 30-minute video from Rotman Institute of Philosophy: “Jeffrey Shallit: Experimental Combinatorics on Words Using the Walnut Prover”.

Video by Rotman Institute of Philosophy, played through YouTube's embedded player.