Registered user since Wed 13 Jan 2021
Name: Štěpán Starosta
Country: Czech Republic
Affiliation: Faculty of Information Technology, Czech Technical University in Prague
Personal website: https://users.fit.cvut.cz/~staroste/
Research interests: Combinatorics on Words, Dynamical Systems, Formalization of Mathematics
Contributions
| CPP 2021 | Formalization of Combinatorics on Words in Isabelle/HOL | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile