![Štěpán Holub](https://popl21.sigplan.org/getProfileImage/stepanholub/c95c2216-c134-4278-a504-ab91bb5b0867/small.jpg?1712458176000)
Registered user since Tue 12 Jan 2021
Name:Štěpán Holub
Country:Czechia
Affiliation:Charles University
Personal website: https://www2.karlin.mff.cuni.cz/~holub/indexen.htm
Research interests:Combinatorics on Words, Isabelle/HOL
Contributions
POPL 2021-profile
View general profile
View general profile