TY  - RPRT
TI  - LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean
AU  - Simon Jeanteur
AU  - Lorenzo Veronese
AU  - Magdalena Solitro
AU  - Matteo Maffei
PY  - 2026
UR  - https://arxiv.org/abs/2607.03406
ID  - 2607.03406
ER  -