Maude2Lean: Theorem proving for Maude specifications using Lean | Publicación