TY  - JOUR
AU  - Rubio Cuéllar, Rubén Rafael
AU  - Riesco Rodríguez, Adrián
PY  - 2025
DO  - 10.1016/j.jlamp.2024.101005
UR  - https://hdl.handle.net/20.500.14352/107912
T2  - Journal of Logical and Algebraic Methods in Programming
AB  - Maude is a specification language based on rewriting logic whose programs can be executed, model checked, and analyzed with other automated techniques, but not easily theorem proved. On the other hand, Lean is a modern proof assistant based on the...
LA  - eng
M2  - 1
PB  - Elsevier
KW  - Theorem proving
KW  - Rewriting logic
KW  - Maude
KW  - Lean
TI  - Maude2Lean: Theorem proving for Maude specifications using Lean
TY  - journal article
VL  - 142
ER  -