TY  - RPRT
TI  - Finishing Oltean's Completeness Proof in Lean 4 for Hybrid Logic $L(\forall)$
AU  - Lars Warren Ericson
PY  - 2026
UR  - https://arxiv.org/abs/2606.19761
ID  - 2606.19761
ER  -