DSLean: A Framework for Type-Correct Interoperability Between Lean 4 and External DSLs

Rowney, Tate; Ahuja, Riyaz; Avigad, Jeremy; Welleck, Sean

doi:10.34727/2026/isbn.978-3-85448-093-8_16

Record link:

http://hdl.handle.net/20.500.12708/230470
https://doi.org/10.34727/2026/isbn.978-3-85448-093-8_16

Title:

DSLean: A Framework for Type-Correct Interoperability Between Lean 4 and External DSLs

Citation:

Rowney, T., Ahuja, R., Avigad, J., & Welleck, S. (2026). DSLean: A Framework for Type-Correct Interoperability Between Lean 4 and External DSLs. In B. Dutertre & B. Könighofer (Eds.), Proceedings of the 26th Conference on Formal Methods in Computer-Aided Design – FMCAD 2026 (pp. 103–112). TU Wien Academic Press. https://doi.org/10.34727/2026/isbn.978-3-85448-093-8_16

reposiTUm DOI:

10.34727/2026/isbn.978-3-85448-093-8_16

Publication Type:

Inproceedings - Full-Paper Contribution

Language:

English

Authors:

Rowney, Tate
Ahuja, Riyaz
Avigad, Jeremy
Welleck, Sean

Editors:

Dutertre, Bruno
Könighofer, Bettina

Organisational Unit:

E000 - Technische Universität Wien