LeanLTL: A Unifying Framework for Linear Temporal Logics in Lean (Short Paper).

Eric Vin, Kyle A. Miller, Daniel J. Fremont

Browse the full ITP paper archive.