Growing HOLMS, a HOL Light Library for Modal Systems. - Antonella Bilotta; Marco Maggesi; Cosimo Perini Brogi; Leonardo Quartini (OVERLAY, 2024)