9 citations · 14 across the 5 of their papers we have counts for
1 paper · 1 filter
Š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…