conf.researchr.org / Štěpán Holub

Registered user since Tue 12 Jan 2021
Name:Štěpán Holub
Country:Czech Republic
Affiliation:Charles University
Personal website:https://www2.karlin.mff.cuni.cz/~holub/indexen.htm
Research interests:Combinatorics on Words, Isabelle/HOL
Contributions
CPP 2021 | Author of Formalization of Combinatorics on Words in Isabelle/HOL within the Lightning Talks-track |