APA (7th ed.) Citation

Vin, E., Miller, K. A., Fremont, D. J., & Fremont, E. V. a. K. A. M. a. D. J. (2025). LeanLTL: A Unifying Framework for Linear Temporal Logics in Lean (Short Paper). https://doi.org/10.4230/lipics.itp.2025.37

Chicago Style (17th ed.) Citation

Vin, Eric, Kyle A. Miller, Daniel J. Fremont, and Eric Vin and Kyle A. Miller and Daniel J. Fremont. LeanLTL: A Unifying Framework for Linear Temporal Logics in Lean (Short Paper). 2025. https://doi.org/10.4230/lipics.itp.2025.37.

MLA (9th ed.) Citation

Vin, Eric, et al. LeanLTL: A Unifying Framework for Linear Temporal Logics in Lean (Short Paper). 2025. https://doi.org/10.4230/lipics.itp.2025.37.