
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 | Formalization of Combinatorics on Words in Isabelle/HOL | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2021-profile
View general profile
View general profile