Producing Symmetrical Facts for lIsts induced by the List Reversal Mapping in Isabelle/HOL (short paper). - Martin Raska; Stepán Starosta (CICM Workshops, 2021)

Combinatorics on Words Basics. - Stepan Holub; Martin Raska; Stepán Starosta (Arch. Formal Proofs, 2021)

Producing symmetrical facts for lists induced by the list reversal mapping in Isabelle/HOL. - Martin Raska; Stepán Starosta (CoRR, 2021)

Binary codes that do not preserve primitivity. - Stepan Holub; Martin Raska (Arch. Formal Proofs, 2023)

Binary Codes that do not Preserve Primitivity. - Stepan Holub; Martin Raska; Stepán Starosta (J. Autom. Reason., 2023)

Power Operator for Lists. - Stepan Holub; Martin Raska; Stepán Starosta; Tobias Nipkow (Arch. Formal Proofs, 2025)