Lean repository linked
Boundary regularity for non-local operators with symmetric kernels and vanishing horizon
arXiv:2504.00567 · arXiv
Lean formalisations (1)
philipp-svinger/Math_Lean_Palomar_Vanishing-Horizon-Boundary-Reg at b90e5cc8ac0d
Linked by the repository’s formalization.yaml.
Project review: self-assessed
Audit: awaiting publication.