1 citations · 1 across the 1 of their papers we have counts for
1 paper
Štěpán Starosta
We present a formalization of basics related to infinite words in the generic proof assistant Isabelle/HOL. Furthermore, we present a formalization of purely morphic and morphic la…