TY  - RPRT
TI  - LFPL: Revisited and Mechanized
AU  - Nathaniel Glover
AU  - Jan Hoffmann
PY  - 2026
UR  - https://arxiv.org/abs/2605.12893
ID  - 2605.12893
ER  -