LeanMachines: State-based Modeling with Refinement (a Lean4 Framework). - Danaël Carbonneau; Frédéric Peschanski (Formal Aspects Comput., 2026)