TY  - RPRT
TI  - DSLean: A Framework for Type-Correct Interoperability Between Lean 4 and External DSLs
AU  - Tate Rowney
AU  - Riyaz Ahuja
AU  - Jeremy Avigad
AU  - Sean Welleck
PY  - 2026
UR  - https://arxiv.org/abs/2602.18657
ID  - 2602.18657
ER  -