LeanLTL: A Unifying Framework for Linear Temporal Logics in Lean (Short Paper) - Vin, Eric; Miller, Kyle A.; Fremont, Daniel J.; Eric Vin and Kyle A. Miller and Daniel J. Fremont (2025)