TY  - CPAPER
AU  - Rubio Cuéllar, Rubén Rafael
AU  - Riesco Rodríguez, Adrián
A2  - Riesco Rodríguez, Adrián
A2  - Zhang, Min
PY  - 2022
DO  - 10.1007/978-3-031-17244-1_16
SN  - 9783031172434
SN  - 9783031172441
SN  - 0302-9743
SN  - 1611-3349
UR  - https://hdl.handle.net/20.500.14352/94852
AB  - Maude is a specification language based on rewriting logic whose programs can be executed, model checked, and analyzed with other techniques, but not easily theorem proved. On the other hand, Lean is a modern proof assistant based on the calculus of...
LA  - eng
M2  - 263
KW  - Theorem proving
KW  - Rewriting logic
KW  - Maude
KW  - Lean
TI  - Theorem Proving for Maude Specifications Using Lean
TY  - conference paper
ER  -