research
∙
03/20/2023
Infinite Words and Morphic Languages Formalized in Isabelle/HOL
We present a formalization of basics related to infinite words in the ge...
research
∙
04/23/2021
Producing symmetrical facts for lists induced by the list reversal mapping in Isabelle/HOL
Many facts possess symmetrical counterparts that often require a separat...
research
∙
06/30/2020