~amiloradovsky

https://www.interpretmath.pw

~amiloradovsky/symbolic-dynamics

Formalization of Symbolic Dynamics in Coq proof-assistant