Symbolic Dynamics

An attempt to formalize the theory in Coq.