TY  - RPRT
TI  - Formalising Linear Elliptic PDE Theory in Lean 4
AU  - Alejandro José Soto Franco
AU  - Kobe Marshall-Stevens
PY  - 2026
UR  - https://arxiv.org/abs/2609.32561
ID  - 2609.32561
ER  -