/SymbolicDynamics

Formalization of the Curtis–Hedlund–Lyndon theorem in Lean 4

Primary LanguageLean

Watchers