GitHub repository: mrigankpawagi/LeanearTemporalLogic
Primary language: Lean
Created: 2025-03-07T08:35:15Z
Description: (WIP) Formalization of Linear Temporal Logic (LTL) in Lean 4.