Formalization of Symbolic Dynamics in Coq proof-assistant
.build.yml: continuous integration for SourceHut
Topological: uniform structure on topological groups
Dynamical: discrete-time topological dynamical systems

refs

master
browse log

clone

read-only
https://git.sr.ht/~amiloradovsky/symbolic-dynamics
read/write
git@git.sr.ht:~amiloradovsky/symbolic-dynamics

You can also use your local clone with git send-email.