Theorem Proving for Maude Specifications Using Lean | Publicación