Skip to content
S

Symbolic Dynamics

An attempt to formalize the theory in Coq.