Mallku Soldevila, Rodrigo Geraldo Ribeiro, Beta Ziliani: redex2coq. DROPS Artifacts 2024